• Agent641@lemmy.world
    link
    fedilink
    arrow-up
    5
    ·
    3 months ago

    Ah, but youre still making unreasonable assumptions that the house can’t move. Perhaps the house just chooses not to move.

    • BluesF@lemmy.world
      link
      fedilink
      arrow-up
      5
      ·
      edit-2
      3 months ago

      A fair point - here’s a generalisation. W denotes windows, M the ability to move, a and b are two objects for which their possession of windows and ability to move (or otherwise) is known, and x is some other object.

      (W(a) ^ W(b)) ^ (M(a) ^ ¬M(b)) -> ¬(W(x) -> M(x))