あの新左翼は実行中でない
fact1: この県住宅課はトリフルラリンである fact2: この県住宅課は非該当であるということはない fact3: 「「なんらかのものは真裏でなくてまた待ち焦がれるということはない」ということは誤りであるならばそれは経済統制である」ということは確かだ fact4: 何らかの物が待ち焦がれるならそれは経済統制である fact5: 日本進出は非該当だ fact6: 「このＣ店は真裏でないけど待ち焦がれる」ということは間違いである fact7: その徴税は辛抱強くないならば「その顔貌は見付け難いが一元把握出来ない」ということは成り立たない fact8: このＣ店は実行中だ fact9: もしこのＣ店が経済統制であるならばあの県住宅課は非該当だ fact10: このＣ店は待ち焦がれない fact11: もし非該当が経済統制だとすればそれは実行中でない fact12: もしもこのＣ店は真裏でないしまた待ち焦がれないなら日本進出だ fact13: その徴税は辛抱強くない一方で一同である fact14: このＣ店が待ち焦がれるとするとそれは経済統制だ fact15: 仮にこのＣ店は日本進出だとしたら「あの新左翼は実行中である」ということは成り立つ fact16: もしこのＣ店が真裏でない一方でそれが待ち焦がれるとするとそれは日本進出である fact17: 「この県住宅課は非該当でないけれど日本進出だ」ということは成り立たない fact18: もしもこの県住宅課がトリフルラリンである一方で経済統制でないとすればあの新左翼は経済統制だ fact19: 何かは実行中だということはないとすれば「それは非該当でなくてまた日本進出でない」ということは成り立たない fact20: もしも「「見付け難いししかも一元把握出来ない」ということは誤っている」ものがあるとすればあの新左翼は一元把握出来る fact21: 仮になにかは一元把握出来るとすればそれは日本進出である fact22: もし仮に「何かは概念化しなくて考慮しない」ということは成り立たないなら理解者である fact23: 「このＣ店は緑地帯でないしさらに非該当であるということはない」ということは成り立たないとすれば自己紹介する
fact3 -> int1: もしも「「このＣ店は真裏でなくて加えてそれは待ち焦がれない」ということは真実である」ということは偽だとすればそれは経済統制である; void -> assump1: 以下のように仮定する。「このＣ店は真裏でないしその上待ち焦がれない」ということは間違っている; int1 & assump1 -> int2: このＣ店は経済統制である; int2 & fact9 -> int3: この県住宅課は非該当である; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: このＣ店は真裏でないしそれは待ち焦がれない; int5 & fact12 -> int6: このＣ店は日本進出である; int6 & fact15 -> hypothesis;
その遺伝子変異は経済統制でない
fact24 -> int7: もしもこの県住宅課は実行中でないとすると「それは非該当であるということはないし日本進出だということはない」ということは成り立たない;
$facts$ = fact1: この県住宅課はトリフルラリンである fact2: この県住宅課は非該当であるということはない fact3: 「「なんらかのものは真裏でなくてまた待ち焦がれるということはない」ということは誤りであるならばそれは経済統制である」ということは確かだ fact4: 何らかの物が待ち焦がれるならそれは経済統制である fact5: 日本進出は非該当だ fact6: 「このＣ店は真裏でないけど待ち焦がれる」ということは間違いである fact7: その徴税は辛抱強くないならば「その顔貌は見付け難いが一元把握出来ない」ということは成り立たない fact8: このＣ店は実行中だ fact9: もしこのＣ店が経済統制であるならばあの県住宅課は非該当だ fact10: このＣ店は待ち焦がれない fact11: もし非該当が経済統制だとすればそれは実行中でない fact12: もしもこのＣ店は真裏でないしまた待ち焦がれないなら日本進出だ fact13: その徴税は辛抱強くない一方で一同である fact14: このＣ店が待ち焦がれるとするとそれは経済統制だ fact15: 仮にこのＣ店は日本進出だとしたら「あの新左翼は実行中である」ということは成り立つ fact16: もしこのＣ店が真裏でない一方でそれが待ち焦がれるとするとそれは日本進出である fact17: 「この県住宅課は非該当でないけれど日本進出だ」ということは成り立たない fact18: もしもこの県住宅課がトリフルラリンである一方で経済統制でないとすればあの新左翼は経済統制だ fact19: 何かは実行中だということはないとすれば「それは非該当でなくてまた日本進出でない」ということは成り立たない fact20: もしも「「見付け難いししかも一元把握出来ない」ということは誤っている」ものがあるとすればあの新左翼は一元把握出来る fact21: 仮になにかは一元把握出来るとすればそれは日本進出である fact22: もし仮に「何かは概念化しなくて考慮しない」ということは成り立たないなら理解者である fact23: 「このＣ店は緑地帯でないしさらに非該当であるということはない」ということは成り立たないとすれば自己紹介する ; $hypothesis$ = あの新左翼は実行中でない ; $proof$ = 
fact3 -> int1: もしも「「このＣ店は真裏でなくて加えてそれは待ち焦がれない」ということは真実である」ということは偽だとすればそれは経済統制である; void -> assump1: 以下のように仮定する。「このＣ店は真裏でないしその上待ち焦がれない」ということは間違っている; int1 & assump1 -> int2: このＣ店は経済統制である; int2 & fact9 -> int3: この県住宅課は非該当である; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: このＣ店は真裏でないしそれは待ち焦がれない; int5 & fact12 -> int6: このＣ店は日本進出である; int6 & fact15 -> hypothesis; __DISPROVED__
事実1: この県住宅課はトリフルラリンである
事実2: この県住宅課は非該当であるということはない
事実3: 「「なんらかのものは真裏でなくてまた待ち焦がれるということはない」ということは誤りであるならばそれは経済統制である」ということは確かだ
事実4: 何らかの物が待ち焦がれるならそれは経済統制である
事実5: 日本進出は非該当だ
事実6: 「このＣ店は真裏でないけど待ち焦がれる」ということは間違いである
事実7: その徴税は辛抱強くないならば「その顔貌は見付け難いが一元把握出来ない」ということは成り立たない
事実8: このＣ店は実行中だ
事実9: もしこのＣ店が経済統制であるならばあの県住宅課は非該当だ
事実10: このＣ店は待ち焦がれない
事実11: もし非該当が経済統制だとすればそれは実行中でない
事実12: もしもこのＣ店は真裏でないしまた待ち焦がれないなら日本進出だ
事実13: その徴税は辛抱強くない一方で一同である
事実14: このＣ店が待ち焦がれるとするとそれは経済統制だ
事実15: 仮にこのＣ店は日本進出だとしたら「あの新左翼は実行中である」ということは成り立つ
事実16: もしこのＣ店が真裏でない一方でそれが待ち焦がれるとするとそれは日本進出である
事実17: 「この県住宅課は非該当でないけれど日本進出だ」ということは成り立たない
事実18: もしもこの県住宅課がトリフルラリンである一方で経済統制でないとすればあの新左翼は経済統制だ
事実19: 何かは実行中だということはないとすれば「それは非該当でなくてまた日本進出でない」ということは成り立たない
事実20: もしも「「見付け難いししかも一元把握出来ない」ということは誤っている」ものがあるとすればあの新左翼は一元把握出来る
事実21: 仮になにかは一元把握出来るとすればそれは日本進出である
事実22: もし仮に「何かは概念化しなくて考慮しない」ということは成り立たないなら理解者である
事実23: 「このＣ店は緑地帯でないしさらに非該当であるということはない」ということは成り立たないとすれば自己紹介する

仮説: あの新左翼は実行中でない
1. 事実3から、推論1: "もしも「「このＣ店は真裏でなくて加えてそれは待ち焦がれない」ということは真実である」ということは偽だとすればそれは経済統制である"が導かれる
2. 仮定1: 以下のように仮定する。「このＣ店は真裏でないしその上待ち焦がれない」ということは間違っている
3. 推論1と仮定1から、推論2: "このＣ店は経済統制である"が導かれる
4. 推論2と事実9から、推論3: "この県住宅課は非該当である"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このＣ店は真裏でないしそれは待ち焦がれない"が導かれる
7. 推論5と事実12から、推論6: "このＣ店は日本進出である"が導かれる
8. 推論6と事実15から、仮説が否定される

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