「「この好都合は焼き畑でないがしかし暑い」ということは本当だ」ということは間違っている
fact1: 「フル回転する」ものはある fact2: 仮に「フル回転する」ものがあるとしたらこの中国船はいとおしくなくてかつ辿れない fact3: ある物はコンクリだ fact4: この好都合は辿れる fact5: この好都合はいとおしくない fact6: 「いとおしい」ものがあるとするとこの好都合は暑いということはないし辿れない fact7: この中国船はフル回転するということはない fact8: もし仮にこの中国船が辿れないとすればこの好都合は焼き畑でない一方でそれは暑い fact9: もし仮に「暑い」ものがあるとしたらこの好都合は焼き畑でない fact10: この中国船はいとおしくない fact11: もし仮に「ある物は焼き畑である」ということは成り立つとすればこの好都合は辿れない fact12: この好都合はフル回転しない fact13: もしも「焼き畑である」ものがあるとすればあの好都合は暑くない fact14: この中国船はいとおしいということはなくておまけに暑いということはない fact15: もし「とある物は辿れるしかつ焼き畑である」ということは成り立つとすればそれはいとおしくない
fact1 & fact2 -> int1: この中国船はいとおしくなくておまけに辿れない; int1 -> int2: この中国船は辿れるということはない; int2 & fact8 -> hypothesis;
「変う」物はある
fact16 -> int3: この好都合は辿れるしまた焼き畑であるとするといとおしくない;
$facts$ = fact1: 「フル回転する」ものはある fact2: 仮に「フル回転する」ものがあるとしたらこの中国船はいとおしくなくてかつ辿れない fact3: ある物はコンクリだ fact4: この好都合は辿れる fact5: この好都合はいとおしくない fact6: 「いとおしい」ものがあるとするとこの好都合は暑いということはないし辿れない fact7: この中国船はフル回転するということはない fact8: もし仮にこの中国船が辿れないとすればこの好都合は焼き畑でない一方でそれは暑い fact9: もし仮に「暑い」ものがあるとしたらこの好都合は焼き畑でない fact10: この中国船はいとおしくない fact11: もし仮に「ある物は焼き畑である」ということは成り立つとすればこの好都合は辿れない fact12: この好都合はフル回転しない fact13: もしも「焼き畑である」ものがあるとすればあの好都合は暑くない fact14: この中国船はいとおしいということはなくておまけに暑いということはない fact15: もし「とある物は辿れるしかつ焼き畑である」ということは成り立つとすればそれはいとおしくない ; $hypothesis$ = 「「この好都合は焼き畑でないがしかし暑い」ということは本当だ」ということは間違っている ; $proof$ = 
fact1 & fact2 -> int1: この中国船はいとおしくなくておまけに辿れない; int1 -> int2: この中国船は辿れるということはない; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: 「フル回転する」ものはある
事実2: 仮に「フル回転する」ものがあるとしたらこの中国船はいとおしくなくてかつ辿れない
事実3: ある物はコンクリだ
事実4: この好都合は辿れる
事実5: この好都合はいとおしくない
事実6: 「いとおしい」ものがあるとするとこの好都合は暑いということはないし辿れない
事実7: この中国船はフル回転するということはない
事実8: もし仮にこの中国船が辿れないとすればこの好都合は焼き畑でない一方でそれは暑い
事実9: もし仮に「暑い」ものがあるとしたらこの好都合は焼き畑でない
事実10: この中国船はいとおしくない
事実11: もし仮に「ある物は焼き畑である」ということは成り立つとすればこの好都合は辿れない
事実12: この好都合はフル回転しない
事実13: もしも「焼き畑である」ものがあるとすればあの好都合は暑くない
事実14: この中国船はいとおしいということはなくておまけに暑いということはない
事実15: もし「とある物は辿れるしかつ焼き畑である」ということは成り立つとすればそれはいとおしくない

仮説: 「「この好都合は焼き畑でないがしかし暑い」ということは本当だ」ということは間違っている
1. 事実1と事実2から、推論1: "この中国船はいとおしくなくておまけに辿れない"が導かれる
2. 推論1から、推論2: "この中国船は辿れるということはない"が導かれる
3. 推論2と事実8から、仮説が否定される

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