「「「七時半頃であるということはないしその上オーシャン島であるということはない」ということは偽な」ものはある」ということは事実と異なる
fact1: 「もし仮に保ち易くない物が公布・施行するとするとそれは塩焼き王でない」ということは正しい fact2: もしこの野馬が期待し難いということはないがしかし高緯度であるならばあの集落は高緯度でない fact3: もし「この字句修正は嵌まりこまない」ということは偽であるということはないならば「あのエントランスホールは七時半頃でなくてまたオーシャン島であるということはない」ということは確かでない fact4: なにかは地租改正事務局でないとすると馴れ馴れしくなくてその上七時半頃でない fact5: あのエントランスホールは出来得るということはない一方でそれは築城する fact6: 「あのエントランスホールは馴れ馴れしい」ということは真実だ fact7: もし仮に馴れ馴れしくない物は地租改正事務局であるなら嵌まりこまない fact8: この字句修正は地租改正事務局である fact9: 「この字句修正は馴れ馴れしくない」ということは正しい fact10: 「「七時半頃であるがオーシャン島でない」ということは成り立たない」物はある fact11: もし仮にこの字句修正が馴れ馴れしいということはなくてそれが七時半頃でないならばこの社会的自己は七時半頃であるということはない fact12: もしもあの集落は高緯度だということはないなら「あのエントランスホールはオーシャン島でないがリード出来る」ということは成り立たない fact13: 肝臓病は期待し難くないけど高緯度だ fact14: 「「ＰＣＲでなくてかつ騒乱でない」ということは成り立たない」ものはある fact15: この野馬は肝臓病だ fact16: 「「あのエントランスホールは七時半頃だがオーシャン島であるということはない」ということは嘘だ」ということは正しい
fact9 & fact8 -> int1: この字句修正は馴れ馴れしくないけど地租改正事務局である; fact7 -> int2: もしこの字句修正が馴れ馴れしくないがしかし地租改正事務局であるとすればそれは嵌まりこまない; int1 & int2 -> int3: この字句修正は嵌まりこむということはない; int3 & fact3 -> int4: 「あのエントランスホールは七時半頃でなくておまけにオーシャン島でない」ということは誤りである; int4 -> hypothesis;
この社会的自己は七時半頃であるということはない
fact18 -> int5: この字句修正は地租改正事務局でないなら馴れ馴れしくなくてその上七時半頃でない; fact21 -> int6: もし仮にこの野馬が肝臓病であるとしたらそれは期待し難くないし加えてそれは高緯度である; int6 & fact17 -> int7: この野馬は期待し難くないけれど高緯度だ; fact19 & int7 -> int8: あの集落は高緯度でない; fact20 & int8 -> int9: 「あのエントランスホールはオーシャン島でないがしかしリード出来る」ということは成り立つということはない; int9 -> int10: 「「オーシャン島でなくてリード出来る」ということは成り立たない」ものはある;
$facts$ = fact1: 「もし仮に保ち易くない物が公布・施行するとするとそれは塩焼き王でない」ということは正しい fact2: もしこの野馬が期待し難いということはないがしかし高緯度であるならばあの集落は高緯度でない fact3: もし「この字句修正は嵌まりこまない」ということは偽であるということはないならば「あのエントランスホールは七時半頃でなくてまたオーシャン島であるということはない」ということは確かでない fact4: なにかは地租改正事務局でないとすると馴れ馴れしくなくてその上七時半頃でない fact5: あのエントランスホールは出来得るということはない一方でそれは築城する fact6: 「あのエントランスホールは馴れ馴れしい」ということは真実だ fact7: もし仮に馴れ馴れしくない物は地租改正事務局であるなら嵌まりこまない fact8: この字句修正は地租改正事務局である fact9: 「この字句修正は馴れ馴れしくない」ということは正しい fact10: 「「七時半頃であるがオーシャン島でない」ということは成り立たない」物はある fact11: もし仮にこの字句修正が馴れ馴れしいということはなくてそれが七時半頃でないならばこの社会的自己は七時半頃であるということはない fact12: もしもあの集落は高緯度だということはないなら「あのエントランスホールはオーシャン島でないがリード出来る」ということは成り立たない fact13: 肝臓病は期待し難くないけど高緯度だ fact14: 「「ＰＣＲでなくてかつ騒乱でない」ということは成り立たない」ものはある fact15: この野馬は肝臓病だ fact16: 「「あのエントランスホールは七時半頃だがオーシャン島であるということはない」ということは嘘だ」ということは正しい ; $hypothesis$ = 「「「七時半頃であるということはないしその上オーシャン島であるということはない」ということは偽な」ものはある」ということは事実と異なる ; $proof$ = 
fact9 & fact8 -> int1: この字句修正は馴れ馴れしくないけど地租改正事務局である; fact7 -> int2: もしこの字句修正が馴れ馴れしくないがしかし地租改正事務局であるとすればそれは嵌まりこまない; int1 & int2 -> int3: この字句修正は嵌まりこむということはない; int3 & fact3 -> int4: 「あのエントランスホールは七時半頃でなくておまけにオーシャン島でない」ということは誤りである; int4 -> hypothesis; __DISPROVED__
事実1: 「もし仮に保ち易くない物が公布・施行するとするとそれは塩焼き王でない」ということは正しい
事実2: もしこの野馬が期待し難いということはないがしかし高緯度であるならばあの集落は高緯度でない
事実3: もし「この字句修正は嵌まりこまない」ということは偽であるということはないならば「あのエントランスホールは七時半頃でなくてまたオーシャン島であるということはない」ということは確かでない
事実4: なにかは地租改正事務局でないとすると馴れ馴れしくなくてその上七時半頃でない
事実5: あのエントランスホールは出来得るということはない一方でそれは築城する
事実6: 「あのエントランスホールは馴れ馴れしい」ということは真実だ
事実7: もし仮に馴れ馴れしくない物は地租改正事務局であるなら嵌まりこまない
事実8: この字句修正は地租改正事務局である
事実9: 「この字句修正は馴れ馴れしくない」ということは正しい
事実10: 「「七時半頃であるがオーシャン島でない」ということは成り立たない」物はある
事実11: もし仮にこの字句修正が馴れ馴れしいということはなくてそれが七時半頃でないならばこの社会的自己は七時半頃であるということはない
事実12: もしもあの集落は高緯度だということはないなら「あのエントランスホールはオーシャン島でないがリード出来る」ということは成り立たない
事実13: 肝臓病は期待し難くないけど高緯度だ
事実14: 「「ＰＣＲでなくてかつ騒乱でない」ということは成り立たない」ものはある
事実15: この野馬は肝臓病だ
事実16: 「「あのエントランスホールは七時半頃だがオーシャン島であるということはない」ということは嘘だ」ということは正しい

仮説: 「「「七時半頃であるということはないしその上オーシャン島であるということはない」ということは偽な」ものはある」ということは事実と異なる
1. 事実9と事実8から、推論1: "この字句修正は馴れ馴れしくないけど地租改正事務局である"が導かれる
2. 事実7から、推論2: "もしこの字句修正が馴れ馴れしくないがしかし地租改正事務局であるとすればそれは嵌まりこまない"が導かれる
3. 推論1と推論2から、推論3: "この字句修正は嵌まりこむということはない"が導かれる
4. 推論3と事実3から、推論4: "「あのエントランスホールは七時半頃でなくておまけにオーシャン島でない」ということは誤りである"が導かれる
5. 推論4から、仮説が否定される

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