「この中国警備は考え深くないがしかし生産中止である」ということは偽である
fact1: その除草剤生育期茎葉処理は黄土色だしおまけに尽くし難い fact2: 仮に「なにがしかのものは黄土色である」ということは確かであるなら「その前田屋敷は複眼であるけどそれは継承しない」ということは成り立たない fact3: そのカウント数はマントラだしおまけに早期解決だ fact4: もしその前田屋敷が継承するならそのカウント数は複眼である fact5: そのカウント数は黄土色でない fact6: この単独政権は生産中止である fact7: もしその前田屋敷が生産中止ならばあの中国警備は考え深くない fact8: もしそのカウント数が黄土色でないとするとそれが早期解決だしそれに継承する fact9: もし「なんらかの物は早期解決であるがしかし黄土色でない」ということは間違っているとすれば早期解決でない fact10: その除草剤生育期茎葉処理は尽くし難い fact11: あるものはマントラだ fact12: もしもなにがしかのものが継承すれば生産中止である fact13: あの最判昭は生産中止である fact14: 仮に何かはマントラでないとしたら「それは考え深くないけど生産中止である」ということは偽だ fact15: その除草剤生育期茎葉処理は溶け合う fact16: その除草剤生育期茎葉処理はマントラだ fact17: もしもそのカウント数が複眼でないがマントラであるとしたらこの中国警備はマントラでない fact18: もしも「その前田屋敷は生産中止である」ということは成り立つとしたらこの中国警備は考え深くないけれど生産中止だ fact19: もしそのカウント数がマントラであるとしたらその前田屋敷は複眼だ fact20: もしある物は早期解決でないとしたら複眼でないがマントラだ fact21: この中国警備は考え深くない
fact3 -> int1: そのカウント数はマントラだ; int1 & fact19 -> int2: その前田屋敷は複眼である; void -> assump1: 以下のように仮定する。その前田屋敷は継承しない; int2 & assump1 -> int3: その前田屋敷は複眼だけれど継承しない; fact1 -> int4: その除草剤生育期茎葉処理は黄土色である; int4 -> int5: 「黄土色である」物はある; fact2 & int5 -> int6: 「その前田屋敷は複眼だがしかし継承しない」ということは成り立たない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その前田屋敷は継承する; fact12 -> int9: その前田屋敷が継承するとしたら生産中止だ; int8 & int9 -> int10: その前田屋敷は生産中止である; int10 & fact18 -> hypothesis;
「この中国警備は考え深くないけど生産中止である」ということは成り立たない
fact24 -> int11: もしもそのカウント数が早期解決でないとするとそれは複眼でないしかつそれはマントラだ; fact23 -> int12: 「そのカウント数は早期解決だが黄土色だということはない」ということは成り立たないとするとそれは早期解決だということはない;
$facts$ = fact1: その除草剤生育期茎葉処理は黄土色だしおまけに尽くし難い fact2: 仮に「なにがしかのものは黄土色である」ということは確かであるなら「その前田屋敷は複眼であるけどそれは継承しない」ということは成り立たない fact3: そのカウント数はマントラだしおまけに早期解決だ fact4: もしその前田屋敷が継承するならそのカウント数は複眼である fact5: そのカウント数は黄土色でない fact6: この単独政権は生産中止である fact7: もしその前田屋敷が生産中止ならばあの中国警備は考え深くない fact8: もしそのカウント数が黄土色でないとするとそれが早期解決だしそれに継承する fact9: もし「なんらかの物は早期解決であるがしかし黄土色でない」ということは間違っているとすれば早期解決でない fact10: その除草剤生育期茎葉処理は尽くし難い fact11: あるものはマントラだ fact12: もしもなにがしかのものが継承すれば生産中止である fact13: あの最判昭は生産中止である fact14: 仮に何かはマントラでないとしたら「それは考え深くないけど生産中止である」ということは偽だ fact15: その除草剤生育期茎葉処理は溶け合う fact16: その除草剤生育期茎葉処理はマントラだ fact17: もしもそのカウント数が複眼でないがマントラであるとしたらこの中国警備はマントラでない fact18: もしも「その前田屋敷は生産中止である」ということは成り立つとしたらこの中国警備は考え深くないけれど生産中止だ fact19: もしそのカウント数がマントラであるとしたらその前田屋敷は複眼だ fact20: もしある物は早期解決でないとしたら複眼でないがマントラだ fact21: この中国警備は考え深くない ; $hypothesis$ = 「この中国警備は考え深くないがしかし生産中止である」ということは偽である ; $proof$ = 
fact3 -> int1: そのカウント数はマントラだ; int1 & fact19 -> int2: その前田屋敷は複眼である; void -> assump1: 以下のように仮定する。その前田屋敷は継承しない; int2 & assump1 -> int3: その前田屋敷は複眼だけれど継承しない; fact1 -> int4: その除草剤生育期茎葉処理は黄土色である; int4 -> int5: 「黄土色である」物はある; fact2 & int5 -> int6: 「その前田屋敷は複眼だがしかし継承しない」ということは成り立たない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その前田屋敷は継承する; fact12 -> int9: その前田屋敷が継承するとしたら生産中止だ; int8 & int9 -> int10: その前田屋敷は生産中止である; int10 & fact18 -> hypothesis; __DISPROVED__
事実1: その除草剤生育期茎葉処理は黄土色だしおまけに尽くし難い
事実2: 仮に「なにがしかのものは黄土色である」ということは確かであるなら「その前田屋敷は複眼であるけどそれは継承しない」ということは成り立たない
事実3: そのカウント数はマントラだしおまけに早期解決だ
事実4: もしその前田屋敷が継承するならそのカウント数は複眼である
事実5: そのカウント数は黄土色でない
事実6: この単独政権は生産中止である
事実7: もしその前田屋敷が生産中止ならばあの中国警備は考え深くない
事実8: もしそのカウント数が黄土色でないとするとそれが早期解決だしそれに継承する
事実9: もし「なんらかの物は早期解決であるがしかし黄土色でない」ということは間違っているとすれば早期解決でない
事実10: その除草剤生育期茎葉処理は尽くし難い
事実11: あるものはマントラだ
事実12: もしもなにがしかのものが継承すれば生産中止である
事実13: あの最判昭は生産中止である
事実14: 仮に何かはマントラでないとしたら「それは考え深くないけど生産中止である」ということは偽だ
事実15: その除草剤生育期茎葉処理は溶け合う
事実16: その除草剤生育期茎葉処理はマントラだ
事実17: もしもそのカウント数が複眼でないがマントラであるとしたらこの中国警備はマントラでない
事実18: もしも「その前田屋敷は生産中止である」ということは成り立つとしたらこの中国警備は考え深くないけれど生産中止だ
事実19: もしそのカウント数がマントラであるとしたらその前田屋敷は複眼だ
事実20: もしある物は早期解決でないとしたら複眼でないがマントラだ
事実21: この中国警備は考え深くない

仮説: 「この中国警備は考え深くないがしかし生産中止である」ということは偽である
1. 事実3から、推論1: "そのカウント数はマントラだ"が導かれる
2. 推論1と事実19から、推論2: "その前田屋敷は複眼である"が導かれる
3. 仮定1: 以下のように仮定する。その前田屋敷は継承しない
4. 推論2と仮定1から、推論3: "その前田屋敷は複眼だけれど継承しない"が導かれる
5. 事実1から、推論4: "その除草剤生育期茎葉処理は黄土色である"が導かれる
6. 推論4から、推論5: "「黄土色である」物はある"が導かれる
7. 事実2と推論5から、推論6: "「その前田屋敷は複眼だがしかし継承しない」ということは成り立たない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その前田屋敷は継承する"が導かれる
10. 事実12から、推論9: "その前田屋敷が継承するとしたら生産中止だ"が導かれる
11. 推論8と推論9から、推論10: "その前田屋敷は生産中止である"が導かれる
12. 推論10と事実18から、仮説が否定される

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