「あの事業名は廃棄するかそれは恕する」ということは偽である
fact1: あの事業名はコーラーであるけれど恕しない fact2: もし仮に「何かは周辺事態であるということはないしまた家でない」ということは成り立たないとすればそれは家である fact3: この此の頃は家であり周辺事態だ fact4: この此の頃が安堵し難くないとすればあの国際入札は家でない fact5: もし仮になにかは恋しがるとしたら「それは周辺事態でないしそれは家でない」ということは誤っている fact6: もしこの東高西低が恋しがらないとしたら家でそれにそれは急停止する fact7: もし仮にあの意気塵は強調しないならば「その国際入札はコーラーでない」ということは真実だ fact8: 仮にその国際入札が強調するとするとあの意気塵は強調するけどコーラーであるということはない fact9: もしこの此の頃が周辺事態であるならばその享受は周辺事態であるが恋しがらない fact10: 仮にあの意気塵がコーラーであるとしたらその国際入札はコーラーでない fact11: あの意気塵はコーラーであるか強調するということはない fact12: もし仮にその享受が周辺事態だがしかしそれが恋しがるということはないとすればあの国際入札は安堵し難くない fact13: 仮にその国際入札がコーラーでないしそれが安堵し難いということはないならあの事業名は廃棄する fact14: あの意気塵が強調しないとすればその国際入札はコーラーである fact15: もし仮にこの此の頃が周辺事態であるとしたらその享受は周辺事態だ
fact3 -> int1: この此の頃は周辺事態だ; int1 & fact9 -> int2: その享受は周辺事態であるがしかし恋しがらない; int2 & fact12 -> int3: その国際入札は安堵し難くない; fact7 & fact11 & fact10 -> int4: その国際入札はコーラーでない; int3 & int4 -> int5: その国際入札はコーラーでなくてかつ安堵し難くない; int5 & fact13 -> int6: あの事業名は廃棄する; int6 -> hypothesis;
「あの事業名は廃棄するかあるいはそれは恕するかもしくは両方ともだ」ということは間違っている
fact16 -> int7: 「この此の頃は周辺事態でなくてしかもそれは家でない」ということは間違っていれば家である; fact17 -> int8: 「もしもこの此の頃は恋しがるとしたら「「この此の頃は周辺事態だということはないししかも家でない」ということは本当である」ということは間違いである」ということは成り立つ;
$facts$ = fact1: あの事業名はコーラーであるけれど恕しない fact2: もし仮に「何かは周辺事態であるということはないしまた家でない」ということは成り立たないとすればそれは家である fact3: この此の頃は家であり周辺事態だ fact4: この此の頃が安堵し難くないとすればあの国際入札は家でない fact5: もし仮になにかは恋しがるとしたら「それは周辺事態でないしそれは家でない」ということは誤っている fact6: もしこの東高西低が恋しがらないとしたら家でそれにそれは急停止する fact7: もし仮にあの意気塵は強調しないならば「その国際入札はコーラーでない」ということは真実だ fact8: 仮にその国際入札が強調するとするとあの意気塵は強調するけどコーラーであるということはない fact9: もしこの此の頃が周辺事態であるならばその享受は周辺事態であるが恋しがらない fact10: 仮にあの意気塵がコーラーであるとしたらその国際入札はコーラーでない fact11: あの意気塵はコーラーであるか強調するということはない fact12: もし仮にその享受が周辺事態だがしかしそれが恋しがるということはないとすればあの国際入札は安堵し難くない fact13: 仮にその国際入札がコーラーでないしそれが安堵し難いということはないならあの事業名は廃棄する fact14: あの意気塵が強調しないとすればその国際入札はコーラーである fact15: もし仮にこの此の頃が周辺事態であるとしたらその享受は周辺事態だ ; $hypothesis$ = 「あの事業名は廃棄するかそれは恕する」ということは偽である ; $proof$ = 
fact3 -> int1: この此の頃は周辺事態だ; int1 & fact9 -> int2: その享受は周辺事態であるがしかし恋しがらない; int2 & fact12 -> int3: その国際入札は安堵し難くない; fact7 & fact11 & fact10 -> int4: その国際入札はコーラーでない; int3 & int4 -> int5: その国際入札はコーラーでなくてかつ安堵し難くない; int5 & fact13 -> int6: あの事業名は廃棄する; int6 -> hypothesis; __DISPROVED__
事実1: あの事業名はコーラーであるけれど恕しない
事実2: もし仮に「何かは周辺事態であるということはないしまた家でない」ということは成り立たないとすればそれは家である
事実3: この此の頃は家であり周辺事態だ
事実4: この此の頃が安堵し難くないとすればあの国際入札は家でない
事実5: もし仮になにかは恋しがるとしたら「それは周辺事態でないしそれは家でない」ということは誤っている
事実6: もしこの東高西低が恋しがらないとしたら家でそれにそれは急停止する
事実7: もし仮にあの意気塵は強調しないならば「その国際入札はコーラーでない」ということは真実だ
事実8: 仮にその国際入札が強調するとするとあの意気塵は強調するけどコーラーであるということはない
事実9: もしこの此の頃が周辺事態であるならばその享受は周辺事態であるが恋しがらない
事実10: 仮にあの意気塵がコーラーであるとしたらその国際入札はコーラーでない
事実11: あの意気塵はコーラーであるか強調するということはない
事実12: もし仮にその享受が周辺事態だがしかしそれが恋しがるということはないとすればあの国際入札は安堵し難くない
事実13: 仮にその国際入札がコーラーでないしそれが安堵し難いということはないならあの事業名は廃棄する
事実14: あの意気塵が強調しないとすればその国際入札はコーラーである
事実15: もし仮にこの此の頃が周辺事態であるとしたらその享受は周辺事態だ

仮説: 「あの事業名は廃棄するかそれは恕する」ということは偽である
1. 事実3から、推論1: "この此の頃は周辺事態だ"が導かれる
2. 推論1と事実9から、推論2: "その享受は周辺事態であるがしかし恋しがらない"が導かれる
3. 推論2と事実12から、推論3: "その国際入札は安堵し難くない"が導かれる
4. 事実7と事実11と事実10から、推論4: "その国際入札はコーラーでない"が導かれる
5. 推論3と推論4から、推論5: "その国際入札はコーラーでなくてかつ安堵し難くない"が導かれる
6. 推論5と事実13から、推論6: "あの事業名は廃棄する"が導かれる
7. 推論6から、仮説が否定される

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