この一．四．一は支払える
fact1: もし仮に「その小学生以上は統合出来るしそれにそれは腕捲りだ」ということは成り立たないとしたらこの一．四．一は腕捲りでない fact2: 立ち上げ高さは取り換えだ fact3: 仮に「ある物は政権入りしないしかつロック出来ない」ということは嘘であるならば体言である fact4: あの偽関節が源泉分離課税だしおまけにそれは力強い fact5: 何かは取り換えでないなら「統合出来るし腕捲りだ」ということは成り立たない fact6: もし「その小学生以上は統合出来るかそれは取り換えだということはない」ということは誤っているとしたらあの財政基盤は腕捲りでない fact7: 仮にこの適時開示が体言であるならばあの会陰は体言だ fact8: 仮にこの支配秩序が捨て去れないならそれは出生届けでない一方で漢式である fact9: 仮にこの墓所がしこしこするかもしくは統合出来るかまたは両方ともであるとすればあの一．四．一は支払えるということはない fact10: なんらかの物はしこしこすれば「取り換えであるということはないけど白昼である」ということは成り立たない fact11: その小学生以上は立ち上げ高さであるし腕捲りである fact12: もしもあの会陰が体言であるならこの墓所はしこしこする fact13: 「とあるものは腕捲りでない」ということは成り立つなら支払えるしかつ立ち上げ高さだ fact14: もしこの墓所がしこしこするとすればあの一．四．一は支払えるということはない fact15: その小学生以上は腕捲りである fact16: もしもその小学生以上が取り換えであるならこの墓所は統合出来る fact17: その小学生以上は溶け難いということはない fact18: もしこの支配秩序が出生届けでないが漢式であるとしたらこの原子構造は漢式であるということはない fact19: もし仮にこの原子構造は体言であるなら「この適時開示は体言だ」ということは成り立つ fact20: その小学生以上は支払える fact21: 仮になにかは漢式でないならば「それは政権入りしなくてそれにロック出来ない」ということは間違っている
fact11 -> int1: その小学生以上は立ち上げ高さである; fact2 -> int2: もしもその小学生以上が立ち上げ高さだとすればそれは取り換えである; int1 & int2 -> int3: その小学生以上は取り換えだ; int3 & fact16 -> int4: この墓所は統合出来る; int4 -> int5: 「この墓所はしこしこするかもしくは統合出来る」ということは嘘でない; int5 & fact9 -> hypothesis;
この一．四．一は支払える
fact27 -> int6: この一．四．一が腕捲りでないならそれは支払えるしかつ立ち上げ高さである; fact32 -> int7: もしその小学生以上は取り換えでないとしたら「統合出来るしさらに腕捲りだ」ということは事実と異なる; fact33 -> int8: この墓所はしこしこすれば「取り換えだということはない一方で白昼だ」ということは事実と異なる; fact30 -> int9: もし「この原子構造は政権入りするということはないしロック出来ない」ということは成り立たないとしたらそれは体言だ; fact26 -> int10: もしもこの原子構造は漢式でないとすると「政権入りしなくてかつそれはロック出来るということはない」ということは嘘である; fact31 -> int11: あるものは源泉分離課税だしその上力強い;
$facts$ = fact1: もし仮に「その小学生以上は統合出来るしそれにそれは腕捲りだ」ということは成り立たないとしたらこの一．四．一は腕捲りでない fact2: 立ち上げ高さは取り換えだ fact3: 仮に「ある物は政権入りしないしかつロック出来ない」ということは嘘であるならば体言である fact4: あの偽関節が源泉分離課税だしおまけにそれは力強い fact5: 何かは取り換えでないなら「統合出来るし腕捲りだ」ということは成り立たない fact6: もし「その小学生以上は統合出来るかそれは取り換えだということはない」ということは誤っているとしたらあの財政基盤は腕捲りでない fact7: 仮にこの適時開示が体言であるならばあの会陰は体言だ fact8: 仮にこの支配秩序が捨て去れないならそれは出生届けでない一方で漢式である fact9: 仮にこの墓所がしこしこするかもしくは統合出来るかまたは両方ともであるとすればあの一．四．一は支払えるということはない fact10: なんらかの物はしこしこすれば「取り換えであるということはないけど白昼である」ということは成り立たない fact11: その小学生以上は立ち上げ高さであるし腕捲りである fact12: もしもあの会陰が体言であるならこの墓所はしこしこする fact13: 「とあるものは腕捲りでない」ということは成り立つなら支払えるしかつ立ち上げ高さだ fact14: もしこの墓所がしこしこするとすればあの一．四．一は支払えるということはない fact15: その小学生以上は腕捲りである fact16: もしもその小学生以上が取り換えであるならこの墓所は統合出来る fact17: その小学生以上は溶け難いということはない fact18: もしこの支配秩序が出生届けでないが漢式であるとしたらこの原子構造は漢式であるということはない fact19: もし仮にこの原子構造は体言であるなら「この適時開示は体言だ」ということは成り立つ fact20: その小学生以上は支払える fact21: 仮になにかは漢式でないならば「それは政権入りしなくてそれにロック出来ない」ということは間違っている ; $hypothesis$ = この一．四．一は支払える ; $proof$ = 
fact11 -> int1: その小学生以上は立ち上げ高さである; fact2 -> int2: もしもその小学生以上が立ち上げ高さだとすればそれは取り換えである; int1 & int2 -> int3: その小学生以上は取り換えだ; int3 & fact16 -> int4: この墓所は統合出来る; int4 -> int5: 「この墓所はしこしこするかもしくは統合出来る」ということは嘘でない; int5 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮に「その小学生以上は統合出来るしそれにそれは腕捲りだ」ということは成り立たないとしたらこの一．四．一は腕捲りでない
事実2: 立ち上げ高さは取り換えだ
事実3: 仮に「ある物は政権入りしないしかつロック出来ない」ということは嘘であるならば体言である
事実4: あの偽関節が源泉分離課税だしおまけにそれは力強い
事実5: 何かは取り換えでないなら「統合出来るし腕捲りだ」ということは成り立たない
事実6: もし「その小学生以上は統合出来るかそれは取り換えだということはない」ということは誤っているとしたらあの財政基盤は腕捲りでない
事実7: 仮にこの適時開示が体言であるならばあの会陰は体言だ
事実8: 仮にこの支配秩序が捨て去れないならそれは出生届けでない一方で漢式である
事実9: 仮にこの墓所がしこしこするかもしくは統合出来るかまたは両方ともであるとすればあの一．四．一は支払えるということはない
事実10: なんらかの物はしこしこすれば「取り換えであるということはないけど白昼である」ということは成り立たない
事実11: その小学生以上は立ち上げ高さであるし腕捲りである
事実12: もしもあの会陰が体言であるならこの墓所はしこしこする
事実13: 「とあるものは腕捲りでない」ということは成り立つなら支払えるしかつ立ち上げ高さだ
事実14: もしこの墓所がしこしこするとすればあの一．四．一は支払えるということはない
事実15: その小学生以上は腕捲りである
事実16: もしもその小学生以上が取り換えであるならこの墓所は統合出来る
事実17: その小学生以上は溶け難いということはない
事実18: もしこの支配秩序が出生届けでないが漢式であるとしたらこの原子構造は漢式であるということはない
事実19: もし仮にこの原子構造は体言であるなら「この適時開示は体言だ」ということは成り立つ
事実20: その小学生以上は支払える
事実21: 仮になにかは漢式でないならば「それは政権入りしなくてそれにロック出来ない」ということは間違っている

仮説: この一．四．一は支払える
1. 事実11から、推論1: "その小学生以上は立ち上げ高さである"が導かれる
2. 事実2から、推論2: "もしもその小学生以上が立ち上げ高さだとすればそれは取り換えである"が導かれる
3. 推論1と推論2から、推論3: "その小学生以上は取り換えだ"が導かれる
4. 推論3と事実16から、推論4: "この墓所は統合出来る"が導かれる
5. 推論4から、推論5: "「この墓所はしこしこするかもしくは統合出来る」ということは嘘でない"が導かれる
6. 推論5と事実9から、仮説が否定される

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