「「「ボートマンでないし囲む」ということは成り立たないなら「面会しない」ということは成り立つ」物はある」ということは誤りである
fact1: 「「ボートマンだということはないしかつ囲む」ということは誤りであるとしたら面会する」ものはある fact2: 「もしも「囲むということはない」ということは成り立つとしたら面会しない」ものはある fact3: もし仮に「この体当たりはボートマンでないが囲む」ということは嘘ならそれは面会する fact4: 「「「この体当たりはボートマンだしまた囲む」ということは偽だ」ということは成り立つとするとこの体当たりは面会するということはない」ということは誤りであるということはない fact5: この体当たりはボートマンでないけれど囲むならそれは面会しない fact6: 「「笑い続けなくてその上総重量である」ということは誤りであるとすれば旧正月でない」ものはある fact7: もし仮に「この体当たりは演じない一方でそれはボートマンだ」ということは誤りならば処刑しない fact8: もし「その試合速報は転じるということはないがしかし地役人である」ということは間違いであるとすれば言い出さない fact9: もし「なにかは溶け込めないけれど本意だ」ということは事実と異なるとすれば眠たくない fact10: もしも「この体当たりはボートマンでないけど囲む」ということは誤っていればそれは面会するということはない fact11: 「「ボートマンであるししかも囲む」ということは成り立たないとしたら面会しない」ものはある fact12: 「もしも「寒ーくないが待ち遠しい」ということは成り立たないとしたら残念がらない」ものはある fact13: この体当たりが囲まないならそれは面会しない fact14: 「仮にボートマンだとすると面会しない」ものはある fact15: 「もし仮にボートマンでないししかも囲むとすると面会しない」物はある
fact10 -> hypothesis;
「仮に「溶け込めないしかつ本意である」ということは成り立たないなら「眠たくない」ということは成り立つ」ものはある
fact16 -> int1: 「あのＬＺＳは溶け込めるということはないが本意だ」ということは間違いであるとしたらそれは眠たくない; int1 -> hypothesis;
$facts$ = fact1: 「「ボートマンだということはないしかつ囲む」ということは誤りであるとしたら面会する」ものはある fact2: 「もしも「囲むということはない」ということは成り立つとしたら面会しない」ものはある fact3: もし仮に「この体当たりはボートマンでないが囲む」ということは嘘ならそれは面会する fact4: 「「「この体当たりはボートマンだしまた囲む」ということは偽だ」ということは成り立つとするとこの体当たりは面会するということはない」ということは誤りであるということはない fact5: この体当たりはボートマンでないけれど囲むならそれは面会しない fact6: 「「笑い続けなくてその上総重量である」ということは誤りであるとすれば旧正月でない」ものはある fact7: もし仮に「この体当たりは演じない一方でそれはボートマンだ」ということは誤りならば処刑しない fact8: もし「その試合速報は転じるということはないがしかし地役人である」ということは間違いであるとすれば言い出さない fact9: もし「なにかは溶け込めないけれど本意だ」ということは事実と異なるとすれば眠たくない fact10: もしも「この体当たりはボートマンでないけど囲む」ということは誤っていればそれは面会するということはない fact11: 「「ボートマンであるししかも囲む」ということは成り立たないとしたら面会しない」ものはある fact12: 「もしも「寒ーくないが待ち遠しい」ということは成り立たないとしたら残念がらない」ものはある fact13: この体当たりが囲まないならそれは面会しない fact14: 「仮にボートマンだとすると面会しない」ものはある fact15: 「もし仮にボートマンでないししかも囲むとすると面会しない」物はある ; $hypothesis$ = 「「「ボートマンでないし囲む」ということは成り立たないなら「面会しない」ということは成り立つ」物はある」ということは誤りである ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: 「「ボートマンだということはないしかつ囲む」ということは誤りであるとしたら面会する」ものはある
事実2: 「もしも「囲むということはない」ということは成り立つとしたら面会しない」ものはある
事実3: もし仮に「この体当たりはボートマンでないが囲む」ということは嘘ならそれは面会する
事実4: 「「「この体当たりはボートマンだしまた囲む」ということは偽だ」ということは成り立つとするとこの体当たりは面会するということはない」ということは誤りであるということはない
事実5: この体当たりはボートマンでないけれど囲むならそれは面会しない
事実6: 「「笑い続けなくてその上総重量である」ということは誤りであるとすれば旧正月でない」ものはある
事実7: もし仮に「この体当たりは演じない一方でそれはボートマンだ」ということは誤りならば処刑しない
事実8: もし「その試合速報は転じるということはないがしかし地役人である」ということは間違いであるとすれば言い出さない
事実9: もし「なにかは溶け込めないけれど本意だ」ということは事実と異なるとすれば眠たくない
事実10: もしも「この体当たりはボートマンでないけど囲む」ということは誤っていればそれは面会するということはない
事実11: 「「ボートマンであるししかも囲む」ということは成り立たないとしたら面会しない」ものはある
事実12: 「もしも「寒ーくないが待ち遠しい」ということは成り立たないとしたら残念がらない」ものはある
事実13: この体当たりが囲まないならそれは面会しない
事実14: 「仮にボートマンだとすると面会しない」ものはある
事実15: 「もし仮にボートマンでないししかも囲むとすると面会しない」物はある

仮説: 「「「ボートマンでないし囲む」ということは成り立たないなら「面会しない」ということは成り立つ」物はある」ということは誤りである
1. 事実10から、仮説が否定される

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