「その問題演習は現示する」ということは成り立つ
fact1: もしもあの列車が御迎え下さるか海外だということはないかもしくは両方ともであるとするとあの複製は育子期でない fact2: もし仮に「その男共は憩わないがそれは自閉症者である」ということは成り立たないなら憩う fact3: 仮にある物が海外でないとすればあの列車は御迎え下さるかそれは海外でない fact4: 仮にとあるものは御出で頂くとしたら「海外でない」ということは成り立つ fact5: もし仮にあるものは左右するとすれば「結核予防でないがしかし油抜きする」ということは本当でない fact6: もしその男共が憩うとするとそれは左右する fact7: もし仮に「なにかは伊号でないし更に誇らしくない」ということは成り立たないとしたら現示する fact8: 「なんらかの物は育子期でない」ということは事実だとすれば「それは擽るしかつそれはトラブるということはない」ということは間違っている fact9: 「そのアクトは現示するしさらに二等星である」ということは間違いだ fact10: 「そのアクトは二等星であるしそれに隙間無い」ということは成り立たない fact11: もし「「二等星だしさらに隙間無い」ということは成り立たない」ものがあるとするとその問題演習は現示しない fact12: 「この熊襲は現示しない」ということは成り立つ fact13: なにかは隙間無くないとしたらその問題演習は現示しない fact14: 「見学するししかも心強い」ものはある fact15: その問題演習は浅しない fact16: もし「あの複製は擽る一方でトラブるない」ということは成り立たないとしたらこの分子時計は木らしくない fact17: もし仮に「その男共は結核予防でない一方で油抜きする」ということは間違いであるとすれば「その事業所数は御出で頂く」ということは正しい fact18: 「その男共は憩うということはないけど自閉症者である」ということは成り立たない
fact10 -> int1: 「「二等星であるししかも隙間無い」ということは成り立つということはない」物はある; int1 & fact11 -> hypothesis;
「その問題演習は現示する」ということは正しい
fact27 -> int2: 「「その問題演習は伊号でないしさらに誇らしくない」ということは成り立つ」ということは成り立つということはないとすると現示する; fact25 -> int3: もしあの複製は育子期でないなら「擽るしおまけにそれはトラブるない」ということは誤っている; fact29 -> int4: その事業所数が御出で頂くなら海外でない; fact28 -> int5: その男共は左右するとしたら「それは結核予防でないがしかし油抜きする」ということは成り立たない; fact23 & fact26 -> int6: その男共は憩う; fact19 & int6 -> int7: その男共は左右する; int5 & int7 -> int8: 「その男共は結核予防でないが油抜きする」ということは成り立つということはない; fact21 & int8 -> int9: その事業所数は御出で頂く; int4 & int9 -> int10: その事業所数は海外でない; int10 -> int11: 「海外でない」物はある; int11 & fact22 -> int12: あの列車は御迎え下さるかもしくはそれは海外でないかもしくは両方ともだ; fact24 & int12 -> int13: あの複製は育子期でない; int3 & int13 -> int14: 「あの複製は擽るがトラブるない」ということは成り立たない; fact20 & int14 -> int15: この分子時計は木らしくない; int15 -> int16: 何らかのものは木らしくない;
$facts$ = fact1: もしもあの列車が御迎え下さるか海外だということはないかもしくは両方ともであるとするとあの複製は育子期でない fact2: もし仮に「その男共は憩わないがそれは自閉症者である」ということは成り立たないなら憩う fact3: 仮にある物が海外でないとすればあの列車は御迎え下さるかそれは海外でない fact4: 仮にとあるものは御出で頂くとしたら「海外でない」ということは成り立つ fact5: もし仮にあるものは左右するとすれば「結核予防でないがしかし油抜きする」ということは本当でない fact6: もしその男共が憩うとするとそれは左右する fact7: もし仮に「なにかは伊号でないし更に誇らしくない」ということは成り立たないとしたら現示する fact8: 「なんらかの物は育子期でない」ということは事実だとすれば「それは擽るしかつそれはトラブるということはない」ということは間違っている fact9: 「そのアクトは現示するしさらに二等星である」ということは間違いだ fact10: 「そのアクトは二等星であるしそれに隙間無い」ということは成り立たない fact11: もし「「二等星だしさらに隙間無い」ということは成り立たない」ものがあるとするとその問題演習は現示しない fact12: 「この熊襲は現示しない」ということは成り立つ fact13: なにかは隙間無くないとしたらその問題演習は現示しない fact14: 「見学するししかも心強い」ものはある fact15: その問題演習は浅しない fact16: もし「あの複製は擽る一方でトラブるない」ということは成り立たないとしたらこの分子時計は木らしくない fact17: もし仮に「その男共は結核予防でない一方で油抜きする」ということは間違いであるとすれば「その事業所数は御出で頂く」ということは正しい fact18: 「その男共は憩うということはないけど自閉症者である」ということは成り立たない ; $hypothesis$ = 「その問題演習は現示する」ということは成り立つ ; $proof$ = 
fact10 -> int1: 「「二等星であるししかも隙間無い」ということは成り立つということはない」物はある; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: もしもあの列車が御迎え下さるか海外だということはないかもしくは両方ともであるとするとあの複製は育子期でない
事実2: もし仮に「その男共は憩わないがそれは自閉症者である」ということは成り立たないなら憩う
事実3: 仮にある物が海外でないとすればあの列車は御迎え下さるかそれは海外でない
事実4: 仮にとあるものは御出で頂くとしたら「海外でない」ということは成り立つ
事実5: もし仮にあるものは左右するとすれば「結核予防でないがしかし油抜きする」ということは本当でない
事実6: もしその男共が憩うとするとそれは左右する
事実7: もし仮に「なにかは伊号でないし更に誇らしくない」ということは成り立たないとしたら現示する
事実8: 「なんらかの物は育子期でない」ということは事実だとすれば「それは擽るしかつそれはトラブるということはない」ということは間違っている
事実9: 「そのアクトは現示するしさらに二等星である」ということは間違いだ
事実10: 「そのアクトは二等星であるしそれに隙間無い」ということは成り立たない
事実11: もし「「二等星だしさらに隙間無い」ということは成り立たない」ものがあるとするとその問題演習は現示しない
事実12: 「この熊襲は現示しない」ということは成り立つ
事実13: なにかは隙間無くないとしたらその問題演習は現示しない
事実14: 「見学するししかも心強い」ものはある
事実15: その問題演習は浅しない
事実16: もし「あの複製は擽る一方でトラブるない」ということは成り立たないとしたらこの分子時計は木らしくない
事実17: もし仮に「その男共は結核予防でない一方で油抜きする」ということは間違いであるとすれば「その事業所数は御出で頂く」ということは正しい
事実18: 「その男共は憩うということはないけど自閉症者である」ということは成り立たない

仮説: 「その問題演習は現示する」ということは成り立つ
1. 事実10から、推論1: "「「二等星であるししかも隙間無い」ということは成り立つということはない」物はある"が導かれる
2. 推論1と事実11から、仮説が否定される

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