「「もしも移動ハンドルでないならば「僕達家族であるか塗布しないかもしくは両方である」ということは成り立つということはない」ものはある」ということは嘘である
fact1: もし仮に何かは移動ハンドルでないならばそれは僕達家族でない fact2: もしも何らかの物は移動ハンドルであるということはないならば「それは僕達家族であるかあるいは塗布しないかもしくはどちらもである」ということは間違っている fact3: 仮にその寄進者が移動ハンドルでないならば僕達家族であるかもしくは塗布しない
fact2 -> int1: 仮にその寄進者は移動ハンドルでないとしたら「僕達家族であるかあるいは塗布しないかまたは両方ともである」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もし仮に何かは移動ハンドルでないならばそれは僕達家族でない fact2: もしも何らかの物は移動ハンドルであるということはないならば「それは僕達家族であるかあるいは塗布しないかもしくはどちらもである」ということは間違っている fact3: 仮にその寄進者が移動ハンドルでないならば僕達家族であるかもしくは塗布しない ; $hypothesis$ = 「「もしも移動ハンドルでないならば「僕達家族であるか塗布しないかもしくは両方である」ということは成り立つということはない」ものはある」ということは嘘である ; $proof$ = 
fact2 -> int1: 仮にその寄進者は移動ハンドルでないとしたら「僕達家族であるかあるいは塗布しないかまたは両方ともである」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは移動ハンドルでないならばそれは僕達家族でない
事実2: もしも何らかの物は移動ハンドルであるということはないならば「それは僕達家族であるかあるいは塗布しないかもしくはどちらもである」ということは間違っている
事実3: 仮にその寄進者が移動ハンドルでないならば僕達家族であるかもしくは塗布しない

仮説: 「「もしも移動ハンドルでないならば「僕達家族であるか塗布しないかもしくは両方である」ということは成り立つということはない」ものはある」ということは嘘である
1. 事実2から、推論1: "仮にその寄進者は移動ハンドルでないとしたら「僕達家族であるかあるいは塗布しないかまたは両方ともである」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。