この反革命派はファイル名でない
fact1: あの行基菩薩は気まずいかあるいは非法でない fact2: 仮に「あの行基菩薩は気まずくない」ということは本当であるならばこの反革命派はファイル名である fact3: あの行基菩薩は泣き方である fact4: もしも「あるものは護衛しないがしかし規定する」ということは成り立たないとするとぎごちない fact5: もしなんらかの物は耐え抜かないけれどフル活用すれば「それは気まずくない」ということは成り立つ fact6: 仮に「あの行基菩薩は気まずくない」ということは本当だとしたら「この反革命派は泣き方でないし非法でない」ということは事実と異なる fact7: 「あの行基菩薩は喉元でない」ということは本当だ fact8: この反革命派は気まずい fact9: この仮定法は気まずくない fact10: あの行基菩薩は非法であるということはない一方で泣き方である fact11: あの行基菩薩は売り難くない fact12: もしも「何らかのものは泣き方だということはなくて非法でない」ということは成り立たないとしたらそれはファイル名でない fact13: この飼育員は非法である fact14: この反革命派は非法でない fact15: 仮になにかはぎごちないとしたら無理無い fact16: もし「あの行基菩薩は気まずくないかあるいはそれは非法でないかもしくは両方ともである」ということは誤っていないならばこの反革命派はファイル名である fact17: もし仮にあの行基菩薩が無理無いならば耐え抜かないしおまけにそれはフル活用する
fact10 -> int1: あの行基菩薩は非法でない; int1 -> int2: あの行基菩薩は気まずくないかあるいは非法でないかもしくは両方ともである; int2 & fact16 -> hypothesis;
fact10 -> int1: ¬{A}{a}; int1 -> int2: (¬{C}{a} v ¬{A}{a}); int2 & fact16 -> hypothesis;
この反革命派はファイル名でない
fact22 -> int3: もし「この反革命派は泣き方でないし加えてそれは非法でない」ということは成り立つということはないなら「それはファイル名であるということはない」ということは成り立つ; fact21 -> int4: もしもあの行基菩薩が耐え抜かない一方でそれがフル活用するとすれば気まずくない; fact23 -> int5: もしもあの行基菩薩がぎごちないとすると無理無い; fact19 -> int6: 仮に「あの行基菩薩は護衛しないけれどそれは規定する」ということは誤りだとすれば「ぎごちない」ということは成り立つ;
$facts$ = fact1: あの行基菩薩は気まずいかあるいは非法でない fact2: 仮に「あの行基菩薩は気まずくない」ということは本当であるならばこの反革命派はファイル名である fact3: あの行基菩薩は泣き方である fact4: もしも「あるものは護衛しないがしかし規定する」ということは成り立たないとするとぎごちない fact5: もしなんらかの物は耐え抜かないけれどフル活用すれば「それは気まずくない」ということは成り立つ fact6: 仮に「あの行基菩薩は気まずくない」ということは本当だとしたら「この反革命派は泣き方でないし非法でない」ということは事実と異なる fact7: 「あの行基菩薩は喉元でない」ということは本当だ fact8: この反革命派は気まずい fact9: この仮定法は気まずくない fact10: あの行基菩薩は非法であるということはない一方で泣き方である fact11: あの行基菩薩は売り難くない fact12: もしも「何らかのものは泣き方だということはなくて非法でない」ということは成り立たないとしたらそれはファイル名でない fact13: この飼育員は非法である fact14: この反革命派は非法でない fact15: 仮になにかはぎごちないとしたら無理無い fact16: もし「あの行基菩薩は気まずくないかあるいはそれは非法でないかもしくは両方ともである」ということは誤っていないならばこの反革命派はファイル名である fact17: もし仮にあの行基菩薩が無理無いならば耐え抜かないしおまけにそれはフル活用する ; $hypothesis$ = この反革命派はファイル名でない ; $proof$ = 
fact10 -> int1: あの行基菩薩は非法でない; int1 -> int2: あの行基菩薩は気まずくないかあるいは非法でないかもしくは両方ともである; int2 & fact16 -> hypothesis; __DISPROVED__
事実1: あの行基菩薩は気まずいかあるいは非法でない
事実2: 仮に「あの行基菩薩は気まずくない」ということは本当であるならばこの反革命派はファイル名である
事実3: あの行基菩薩は泣き方である
事実4: もしも「あるものは護衛しないがしかし規定する」ということは成り立たないとするとぎごちない
事実5: もしなんらかの物は耐え抜かないけれどフル活用すれば「それは気まずくない」ということは成り立つ
事実6: 仮に「あの行基菩薩は気まずくない」ということは本当だとしたら「この反革命派は泣き方でないし非法でない」ということは事実と異なる
事実7: 「あの行基菩薩は喉元でない」ということは本当だ
事実8: この反革命派は気まずい
事実9: この仮定法は気まずくない
事実10: あの行基菩薩は非法であるということはない一方で泣き方である
事実11: あの行基菩薩は売り難くない
事実12: もしも「何らかのものは泣き方だということはなくて非法でない」ということは成り立たないとしたらそれはファイル名でない
事実13: この飼育員は非法である
事実14: この反革命派は非法でない
事実15: 仮になにかはぎごちないとしたら無理無い
事実16: もし「あの行基菩薩は気まずくないかあるいはそれは非法でないかもしくは両方ともである」ということは誤っていないならばこの反革命派はファイル名である
事実17: もし仮にあの行基菩薩が無理無いならば耐え抜かないしおまけにそれはフル活用する

仮説: この反革命派はファイル名でない
1. 事実10から、推論1: "あの行基菩薩は非法でない"が導かれる
2. 推論1から、推論2: "あの行基菩薩は気まずくないかあるいは非法でないかもしくは両方ともである"が導かれる
3. 推論2と事実16から、仮説が否定される

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