An appropriate deduction might be “Cars have windows and can move, houses have windows and cannot move. The presence of windows alone is not what allows the car to move.”
That works better; the conclusion is practically useless due to the amount of combinations that wouldn’t allow the car to move, but at least it’s reliable.
Going past that would require messing around with things that don’t move until they do, or vice versa. Also known as science.
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.
An appropriate deduction might be “Cars have windows and can move, houses have windows and cannot move. The presence of windows alone is not what allows the car to move.”
That works better; the conclusion is practically useless due to the amount of combinations that wouldn’t allow the car to move, but at least it’s reliable.
Going past that would require messing around with things that don’t move until they do, or vice versa. Also known as science.
Ah, but youre still making unreasonable assumptions that the house can’t move. Perhaps the house just chooses not to move.
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))