この無限責任は後ろ暗い
fact1: 「その学校図書は音楽教師でないがしかし体外離脱だ」ということは成り立たない fact2: もし仮になにかは母自身だとしたら後ろ暗くないかまたは自動車教習所であるかまたは両方である fact3: 自動車教習所は後ろ暗いということはない fact4: もし仮に「とある物は不言不語でないし加えて余所余所しいということはない」ということは成り立たないとしたらそれは自動車教習所である fact5: この校外学習は母自身でないとしたら「この無限責任は不言不語でないしそれは余所余所しいということはない」ということは成り立たない fact6: この校外学習は母自身でない fact7: この無限責任は練り合わせない fact8: もし仮に「あの画像処理ソフトは奮い起こす」ということは事実であるとしたら「嘯かない」ということは成り立つ fact9: 仮に「何かは母自身でないけれど自民党本部だ」ということは偽だとしたらそれは母自身である
fact5 & fact6 -> int1: 「この無限責任は不言不語でなくてそれに余所余所しかない」ということは成り立たない; fact4 -> int2: もし「この無限責任は不言不語でないし加えて余所余所しかない」ということは間違っていれば自動車教習所だ; int1 & int2 -> int3: この無限責任は自動車教習所である; fact3 -> int4: もし仮にこの無限責任が自動車教習所だとしたら後ろ暗くない; int3 & int4 -> hypothesis;
fact5 & fact6 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); fact4 -> int2: ¬(¬{AA}{b} & ¬{AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; fact3 -> int4: {B}{b} -> ¬{C}{b}; int3 & int4 -> hypothesis;
その暫時は後ろ暗くない
fact11 -> int5: 仮にこの校外学習が母自身だとするとそれは後ろ暗くないかもしくは自動車教習所であるかあるいは両方である; fact10 -> int6: 仮に「この校外学習は母自身でないがそれは自民党本部である」ということは間違いだとすると母自身である;
$facts$ = fact1: 「その学校図書は音楽教師でないがしかし体外離脱だ」ということは成り立たない fact2: もし仮になにかは母自身だとしたら後ろ暗くないかまたは自動車教習所であるかまたは両方である fact3: 自動車教習所は後ろ暗いということはない fact4: もし仮に「とある物は不言不語でないし加えて余所余所しいということはない」ということは成り立たないとしたらそれは自動車教習所である fact5: この校外学習は母自身でないとしたら「この無限責任は不言不語でないしそれは余所余所しいということはない」ということは成り立たない fact6: この校外学習は母自身でない fact7: この無限責任は練り合わせない fact8: もし仮に「あの画像処理ソフトは奮い起こす」ということは事実であるとしたら「嘯かない」ということは成り立つ fact9: 仮に「何かは母自身でないけれど自民党本部だ」ということは偽だとしたらそれは母自身である ; $hypothesis$ = この無限責任は後ろ暗い ; $proof$ = 
fact5 & fact6 -> int1: 「この無限責任は不言不語でなくてそれに余所余所しかない」ということは成り立たない; fact4 -> int2: もし「この無限責任は不言不語でないし加えて余所余所しかない」ということは間違っていれば自動車教習所だ; int1 & int2 -> int3: この無限責任は自動車教習所である; fact3 -> int4: もし仮にこの無限責任が自動車教習所だとしたら後ろ暗くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「その学校図書は音楽教師でないがしかし体外離脱だ」ということは成り立たない
事実2: もし仮になにかは母自身だとしたら後ろ暗くないかまたは自動車教習所であるかまたは両方である
事実3: 自動車教習所は後ろ暗いということはない
事実4: もし仮に「とある物は不言不語でないし加えて余所余所しいということはない」ということは成り立たないとしたらそれは自動車教習所である
事実5: この校外学習は母自身でないとしたら「この無限責任は不言不語でないしそれは余所余所しいということはない」ということは成り立たない
事実6: この校外学習は母自身でない
事実7: この無限責任は練り合わせない
事実8: もし仮に「あの画像処理ソフトは奮い起こす」ということは事実であるとしたら「嘯かない」ということは成り立つ
事実9: 仮に「何かは母自身でないけれど自民党本部だ」ということは偽だとしたらそれは母自身である

仮説: この無限責任は後ろ暗い
1. 事実5と事実6から、推論1: "「この無限責任は不言不語でなくてそれに余所余所しかない」ということは成り立たない"が導かれる
2. 事実4から、推論2: "もし「この無限責任は不言不語でないし加えて余所余所しかない」ということは間違っていれば自動車教習所だ"が導かれる
3. 推論1と推論2から、推論3: "この無限責任は自動車教習所である"が導かれる
4. 事実3から、推論4: "もし仮にこの無限責任が自動車教習所だとしたら後ろ暗くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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