その一般紙は打ち出す
fact1: 「その老人性は打ち出すけれど少年司法でない」ということは真実でない fact2: この女郎花は書する fact3: 「その老人性は天狗らしいし少年司法である」ということは本当でない fact4: 「その老人性は忘れ易い」ということは正しい fact5: もしこの抽出法は借地借家であるとしたらそれは作業し易いかまたは連発しない fact6: もしもその老人性が地域的範囲であるがしかし両統迭立でないとするとその一般紙は地域的範囲でない fact7: もし仮にその老人性が少年司法であるならばあの一般紙は打ち出さない fact8: その老人性は一極集中であるし地域的範囲である fact9: もし仮にあるものは臍繰りでないとすると打ち出すしその上忘れ易い fact10: もしもその老人性は忘れ易いとすると「それは天狗らしい一方で少年司法でない」ということは嘘だ fact11: 「その老人性は天狗らしい一方で少年司法でない」ということは誤っていればその一般紙は打ち出さない fact12: もしもこの抽出法が作業し易いか連発しないかまたは両方だとするとこの女郎花は惚れる fact13: もしもこの女郎花が惚れるしそれが書するならその一般紙は書しない fact14: もしその老人性は忘れ易いとすると「それは天狗らしいし少年司法である」ということは確かだということはない fact15: この抽出法は借地借家だ fact16: もしなにかは猛反対するということはなくて地域的範囲でないなら臍繰りでない fact17: もしなにかは書しないとすればそれは割り入れるしそれは猛反対しない
fact10 & fact4 -> int1: 「その老人性は天狗らしいけれどそれは少年司法だということはない」ということは成り立たない; int1 & fact11 -> hypothesis;
その一般紙は打ち出す
fact19 -> int2: 仮にその一般紙が臍繰りでないとすればそれは打ち出すしそれに忘れ易い; fact22 -> int3: 仮にその一般紙は猛反対しなくて地域的範囲でないとすると臍繰りでない; fact20 -> int4: もしその一般紙が書しないとすれば割り入れるしそれは猛反対するということはない; fact26 & fact23 -> int5: 「この抽出法は作業し易いかまたはそれは連発しないかまたは両方ともである」ということは確かである; fact24 & int5 -> int6: この女郎花は惚れる; int6 & fact27 -> int7: 「この女郎花は惚れるし書する」ということは偽でない; fact18 & int7 -> int8: その一般紙は書しない; int4 & int8 -> int9: その一般紙は割り入れるけどそれは猛反対しない; int9 -> int10: その一般紙は猛反対しない; fact25 -> int11: その老人性は地域的範囲だ;
$facts$ = fact1: 「その老人性は打ち出すけれど少年司法でない」ということは真実でない fact2: この女郎花は書する fact3: 「その老人性は天狗らしいし少年司法である」ということは本当でない fact4: 「その老人性は忘れ易い」ということは正しい fact5: もしこの抽出法は借地借家であるとしたらそれは作業し易いかまたは連発しない fact6: もしもその老人性が地域的範囲であるがしかし両統迭立でないとするとその一般紙は地域的範囲でない fact7: もし仮にその老人性が少年司法であるならばあの一般紙は打ち出さない fact8: その老人性は一極集中であるし地域的範囲である fact9: もし仮にあるものは臍繰りでないとすると打ち出すしその上忘れ易い fact10: もしもその老人性は忘れ易いとすると「それは天狗らしい一方で少年司法でない」ということは嘘だ fact11: 「その老人性は天狗らしい一方で少年司法でない」ということは誤っていればその一般紙は打ち出さない fact12: もしもこの抽出法が作業し易いか連発しないかまたは両方だとするとこの女郎花は惚れる fact13: もしもこの女郎花が惚れるしそれが書するならその一般紙は書しない fact14: もしその老人性は忘れ易いとすると「それは天狗らしいし少年司法である」ということは確かだということはない fact15: この抽出法は借地借家だ fact16: もしなにかは猛反対するということはなくて地域的範囲でないなら臍繰りでない fact17: もしなにかは書しないとすればそれは割り入れるしそれは猛反対しない ; $hypothesis$ = その一般紙は打ち出す ; $proof$ = 
fact10 & fact4 -> int1: 「その老人性は天狗らしいけれどそれは少年司法だということはない」ということは成り立たない; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: 「その老人性は打ち出すけれど少年司法でない」ということは真実でない
事実2: この女郎花は書する
事実3: 「その老人性は天狗らしいし少年司法である」ということは本当でない
事実4: 「その老人性は忘れ易い」ということは正しい
事実5: もしこの抽出法は借地借家であるとしたらそれは作業し易いかまたは連発しない
事実6: もしもその老人性が地域的範囲であるがしかし両統迭立でないとするとその一般紙は地域的範囲でない
事実7: もし仮にその老人性が少年司法であるならばあの一般紙は打ち出さない
事実8: その老人性は一極集中であるし地域的範囲である
事実9: もし仮にあるものは臍繰りでないとすると打ち出すしその上忘れ易い
事実10: もしもその老人性は忘れ易いとすると「それは天狗らしい一方で少年司法でない」ということは嘘だ
事実11: 「その老人性は天狗らしい一方で少年司法でない」ということは誤っていればその一般紙は打ち出さない
事実12: もしもこの抽出法が作業し易いか連発しないかまたは両方だとするとこの女郎花は惚れる
事実13: もしもこの女郎花が惚れるしそれが書するならその一般紙は書しない
事実14: もしその老人性は忘れ易いとすると「それは天狗らしいし少年司法である」ということは確かだということはない
事実15: この抽出法は借地借家だ
事実16: もしなにかは猛反対するということはなくて地域的範囲でないなら臍繰りでない
事実17: もしなにかは書しないとすればそれは割り入れるしそれは猛反対しない

仮説: その一般紙は打ち出す
1. 事実10と事実4から、推論1: "「その老人性は天狗らしいけれどそれは少年司法だということはない」ということは成り立たない"が導かれる
2. 推論1と事実11から、仮説が否定される

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