この野郎は導き出さない
fact1: この野郎は済ま無い fact2: もし仮にとある物が書き込みしないとすればそれは済ま無いということはなくて決議しない fact3: とあるものは遊ばさない fact4: もしあのドライブウェイが世代交代するということはないとしたらこの改正点はルポしないがしかし招集だ fact5: この改正点がルポしない一方で招集だとするとこの処方欄は転がり始める fact6: なんらかのものが転がり始めるとするとそれは形成し易い fact7: なにかは疾しならば決議する fact8: もしある物が決議するとしたらそれは導き出す fact9: この処方欄が済ま無くないとするとこの野郎は導き出さないけれど疾し fact10: 全てはいがらっぽくて更に学校図書館である fact11: あらゆる物は疾ししそれにそれは済ま無い fact12: もし「なんらかの物は発掘するが入り難くない」ということは誤っているならそれは書き込みしない fact13: もしもとあるものは形成し易いとしたら「それは発掘するが入り難くない」ということは間違っている fact14: もし「あのドライブウェイは茶色いし更にしつこい」ということは間違いだとすると世代交代するということはない
fact11 -> int1: 「この野郎は疾ししさらに済ま無い」ということは成り立つ; int1 -> int2: この野郎は疾し; fact7 -> int3: 仮にこの野郎が疾しとすると決議する; int2 & int3 -> int4: この野郎は決議する; fact8 -> int5: この野郎は決議するとしたら「導き出す」ということは事実だ; int4 & int5 -> hypothesis;
この野郎は導き出さない
fact19 -> int6: もしもこの処方欄が書き込みしないとするとそれは済ま無くないし更に決議しない; fact20 -> int7: 「「この処方欄は発掘するがしかし入り難くない」ということは本当である」ということは誤っていればそれは書き込みしない; fact18 -> int8: この処方欄は形成し易いとすれば「発掘するけれど入り難くない」ということは成り立たない; fact23 -> int9: もし仮にこの処方欄が転がり始めるならそれは形成し易い;
$facts$ = fact1: この野郎は済ま無い fact2: もし仮にとある物が書き込みしないとすればそれは済ま無いということはなくて決議しない fact3: とあるものは遊ばさない fact4: もしあのドライブウェイが世代交代するということはないとしたらこの改正点はルポしないがしかし招集だ fact5: この改正点がルポしない一方で招集だとするとこの処方欄は転がり始める fact6: なんらかのものが転がり始めるとするとそれは形成し易い fact7: なにかは疾しならば決議する fact8: もしある物が決議するとしたらそれは導き出す fact9: この処方欄が済ま無くないとするとこの野郎は導き出さないけれど疾し fact10: 全てはいがらっぽくて更に学校図書館である fact11: あらゆる物は疾ししそれにそれは済ま無い fact12: もし「なんらかの物は発掘するが入り難くない」ということは誤っているならそれは書き込みしない fact13: もしもとあるものは形成し易いとしたら「それは発掘するが入り難くない」ということは間違っている fact14: もし「あのドライブウェイは茶色いし更にしつこい」ということは間違いだとすると世代交代するということはない ; $hypothesis$ = この野郎は導き出さない ; $proof$ = 
fact11 -> int1: 「この野郎は疾ししさらに済ま無い」ということは成り立つ; int1 -> int2: この野郎は疾し; fact7 -> int3: 仮にこの野郎が疾しとすると決議する; int2 & int3 -> int4: この野郎は決議する; fact8 -> int5: この野郎は決議するとしたら「導き出す」ということは事実だ; int4 & int5 -> hypothesis; __DISPROVED__
事実1: この野郎は済ま無い
事実2: もし仮にとある物が書き込みしないとすればそれは済ま無いということはなくて決議しない
事実3: とあるものは遊ばさない
事実4: もしあのドライブウェイが世代交代するということはないとしたらこの改正点はルポしないがしかし招集だ
事実5: この改正点がルポしない一方で招集だとするとこの処方欄は転がり始める
事実6: なんらかのものが転がり始めるとするとそれは形成し易い
事実7: なにかは疾しならば決議する
事実8: もしある物が決議するとしたらそれは導き出す
事実9: この処方欄が済ま無くないとするとこの野郎は導き出さないけれど疾し
事実10: 全てはいがらっぽくて更に学校図書館である
事実11: あらゆる物は疾ししそれにそれは済ま無い
事実12: もし「なんらかの物は発掘するが入り難くない」ということは誤っているならそれは書き込みしない
事実13: もしもとあるものは形成し易いとしたら「それは発掘するが入り難くない」ということは間違っている
事実14: もし「あのドライブウェイは茶色いし更にしつこい」ということは間違いだとすると世代交代するということはない

仮説: この野郎は導き出さない
1. 事実11から、推論1: "「この野郎は疾ししさらに済ま無い」ということは成り立つ"が導かれる
2. 推論1から、推論2: "この野郎は疾し"が導かれる
3. 事実7から、推論3: "仮にこの野郎が疾しとすると決議する"が導かれる
4. 推論2と推論3から、推論4: "この野郎は決議する"が導かれる
5. 事実8から、推論5: "この野郎は決議するとしたら「導き出す」ということは事実だ"が導かれる
6. 推論4と推論5から、仮説が否定される

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