「「「計画するし更に汽車だ」ということは事実と異なる」ものはある」ということは本当でない
fact1: 「「Ｎオンだしそれに忍耐強い」ということは事実と異なる」物はある fact2: もしもなにがしかの物は遣れないとすると「汽車であるしおまけにそれはＮオンである」ということは誤りである fact3: 「なにがしかの物はなあいし示し易い」ということは誤りだとすると示し易くない fact4: 計画するしおまけにそれは汽車だという物はない fact5: もしも何かは社会福祉基礎構造改革でないとしたら「それはなあいし示し易い」ということは間違っている fact6: あのカウンターステアは悔しい fact7: もし仮に「あのカウンターステアは悔しい」ということは成り立つとすれば「それは贈賄であるということはないしその上険しい」ということは誤っている fact8: もし仮にあるものは遣れるということはないとしたら「それはシックス参照でしかも罹り易い」ということは事実と異なる fact9: 「「あのカウンターステアは贈賄でないけど険しい」ということは嘘である」ということは確かであるなら社会福祉基礎構造改革でない fact10: あのカウンターステアが睦まじくないとしたらこの即座は奮い起こすししかも日本大使である fact11: もしあるものは示し易くないならば「それが改行コードだしその上それは睦まじい」ということは成り立たない fact12: 仮に「あるものは改行コードであるし加えてそれは睦まじい」ということは成り立たないならば睦まじくない fact13: 「「影響され易いしその上睦まじい」ということは嘘な」ものはある fact14: 「それはＯＢ臭いし更に竪坑だというものはない」ということは本当だ fact15: もし何かは奮い起こせばそれは遣れない一方でアルミケースだ
fact4 -> int1: 「この即座は計画するし更に汽車だ」ということは成り立たない; int1 -> hypothesis;
fact4 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 -> hypothesis;
「罹り易いシックス参照はない」ということは成り立つ
fact16 -> int2: 「「あのカウンターステアは遣れない」ということは確かならば「あのカウンターステアはシックス参照でしかも罹り易い」ということは間違っている」ということは真実である;
$facts$ = fact1: 「「Ｎオンだしそれに忍耐強い」ということは事実と異なる」物はある fact2: もしもなにがしかの物は遣れないとすると「汽車であるしおまけにそれはＮオンである」ということは誤りである fact3: 「なにがしかの物はなあいし示し易い」ということは誤りだとすると示し易くない fact4: 計画するしおまけにそれは汽車だという物はない fact5: もしも何かは社会福祉基礎構造改革でないとしたら「それはなあいし示し易い」ということは間違っている fact6: あのカウンターステアは悔しい fact7: もし仮に「あのカウンターステアは悔しい」ということは成り立つとすれば「それは贈賄であるということはないしその上険しい」ということは誤っている fact8: もし仮にあるものは遣れるということはないとしたら「それはシックス参照でしかも罹り易い」ということは事実と異なる fact9: 「「あのカウンターステアは贈賄でないけど険しい」ということは嘘である」ということは確かであるなら社会福祉基礎構造改革でない fact10: あのカウンターステアが睦まじくないとしたらこの即座は奮い起こすししかも日本大使である fact11: もしあるものは示し易くないならば「それが改行コードだしその上それは睦まじい」ということは成り立たない fact12: 仮に「あるものは改行コードであるし加えてそれは睦まじい」ということは成り立たないならば睦まじくない fact13: 「「影響され易いしその上睦まじい」ということは嘘な」ものはある fact14: 「それはＯＢ臭いし更に竪坑だというものはない」ということは本当だ fact15: もし何かは奮い起こせばそれは遣れない一方でアルミケースだ ; $hypothesis$ = 「「「計画するし更に汽車だ」ということは事実と異なる」ものはある」ということは本当でない ; $proof$ = 
fact4 -> int1: 「この即座は計画するし更に汽車だ」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: 「「Ｎオンだしそれに忍耐強い」ということは事実と異なる」物はある
事実2: もしもなにがしかの物は遣れないとすると「汽車であるしおまけにそれはＮオンである」ということは誤りである
事実3: 「なにがしかの物はなあいし示し易い」ということは誤りだとすると示し易くない
事実4: 計画するしおまけにそれは汽車だという物はない
事実5: もしも何かは社会福祉基礎構造改革でないとしたら「それはなあいし示し易い」ということは間違っている
事実6: あのカウンターステアは悔しい
事実7: もし仮に「あのカウンターステアは悔しい」ということは成り立つとすれば「それは贈賄であるということはないしその上険しい」ということは誤っている
事実8: もし仮にあるものは遣れるということはないとしたら「それはシックス参照でしかも罹り易い」ということは事実と異なる
事実9: 「「あのカウンターステアは贈賄でないけど険しい」ということは嘘である」ということは確かであるなら社会福祉基礎構造改革でない
事実10: あのカウンターステアが睦まじくないとしたらこの即座は奮い起こすししかも日本大使である
事実11: もしあるものは示し易くないならば「それが改行コードだしその上それは睦まじい」ということは成り立たない
事実12: 仮に「あるものは改行コードであるし加えてそれは睦まじい」ということは成り立たないならば睦まじくない
事実13: 「「影響され易いしその上睦まじい」ということは嘘な」ものはある
事実14: 「それはＯＢ臭いし更に竪坑だというものはない」ということは本当だ
事実15: もし何かは奮い起こせばそれは遣れない一方でアルミケースだ

仮説: 「「「計画するし更に汽車だ」ということは事実と異なる」ものはある」ということは本当でない
1. 事実4から、推論1: "「この即座は計画するし更に汽車だ」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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