この社会増は取り止めない
fact1: 「あの確執は三連勝する」ということは成り立つなら優位だ fact2: もし仮にこの社会増は三連勝しないとすると「小鳥達でないけれど座す」ということは間違っている fact3: もし仮に「この社会増は小鳥達でないし加えて座さない」ということは成り立つということはないとすればそれは取り止める fact4: 「この社会増は小鳥達であるということはないがしかしそれは座す」ということは間違いだ fact5: その玄関前が心地良いとしたらこの社会増は二十世紀初頭でなくて三連勝するということはない fact6: 「この社会増は三連勝しないなら「「この社会増は小鳥達でないししかも座さない」ということは本当でない」ということは成り立つ」ということは成り立つ fact7: もし仮に「あるものは座すけど取り止めない」ということは成り立たないならそれは座さない fact8: もしも何らかの物は二十世紀初頭でなくてしかも三連勝しないとしたらそれは取り止めない fact9: この社会増は三連勝しない fact10: 仮にこの大文字焼きが踊り狂うとするとその事後求償権は踊り狂う fact11: 仮になにがしかの物は関税額でないとしたらそれは踊り狂う fact12: もし仮に「その事後求償権は踊り狂う」ということは事実だとすればその玄関前は心地良い
fact6 & fact9 -> int1: 「この社会増は小鳥達でないししかもそれは座さない」ということは成り立つということはない; int1 & fact3 -> hypothesis;
この社会増は取り止めない
fact14 -> int2: この社会増が二十世紀初頭でないしおまけにそれが三連勝しないとしたら取り止めない; fact16 -> int3: もし仮にこの大文字焼きは関税額であるということはないとすれば「踊り狂う」ということは事実である;
$facts$ = fact1: 「あの確執は三連勝する」ということは成り立つなら優位だ fact2: もし仮にこの社会増は三連勝しないとすると「小鳥達でないけれど座す」ということは間違っている fact3: もし仮に「この社会増は小鳥達でないし加えて座さない」ということは成り立つということはないとすればそれは取り止める fact4: 「この社会増は小鳥達であるということはないがしかしそれは座す」ということは間違いだ fact5: その玄関前が心地良いとしたらこの社会増は二十世紀初頭でなくて三連勝するということはない fact6: 「この社会増は三連勝しないなら「「この社会増は小鳥達でないししかも座さない」ということは本当でない」ということは成り立つ」ということは成り立つ fact7: もし仮に「あるものは座すけど取り止めない」ということは成り立たないならそれは座さない fact8: もしも何らかの物は二十世紀初頭でなくてしかも三連勝しないとしたらそれは取り止めない fact9: この社会増は三連勝しない fact10: 仮にこの大文字焼きが踊り狂うとするとその事後求償権は踊り狂う fact11: 仮になにがしかの物は関税額でないとしたらそれは踊り狂う fact12: もし仮に「その事後求償権は踊り狂う」ということは事実だとすればその玄関前は心地良い ; $hypothesis$ = この社会増は取り止めない ; $proof$ = 
fact6 & fact9 -> int1: 「この社会増は小鳥達でないししかもそれは座さない」ということは成り立つということはない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 「あの確執は三連勝する」ということは成り立つなら優位だ
事実2: もし仮にこの社会増は三連勝しないとすると「小鳥達でないけれど座す」ということは間違っている
事実3: もし仮に「この社会増は小鳥達でないし加えて座さない」ということは成り立つということはないとすればそれは取り止める
事実4: 「この社会増は小鳥達であるということはないがしかしそれは座す」ということは間違いだ
事実5: その玄関前が心地良いとしたらこの社会増は二十世紀初頭でなくて三連勝するということはない
事実6: 「この社会増は三連勝しないなら「「この社会増は小鳥達でないししかも座さない」ということは本当でない」ということは成り立つ」ということは成り立つ
事実7: もし仮に「あるものは座すけど取り止めない」ということは成り立たないならそれは座さない
事実8: もしも何らかの物は二十世紀初頭でなくてしかも三連勝しないとしたらそれは取り止めない
事実9: この社会増は三連勝しない
事実10: 仮にこの大文字焼きが踊り狂うとするとその事後求償権は踊り狂う
事実11: 仮になにがしかの物は関税額でないとしたらそれは踊り狂う
事実12: もし仮に「その事後求償権は踊り狂う」ということは事実だとすればその玄関前は心地良い

仮説: この社会増は取り止めない
1. 事実6と事実9から、推論1: "「この社会増は小鳥達でないししかもそれは座さない」ということは成り立つということはない"が導かれる
2. 推論1と事実3から、仮説が否定される

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