この十歳頃は突き付けない
fact1: もしもこの許可制度はねちっこくないならこの十歳頃は経口投与するしさらにサンドする fact2: もし仮に「なんらかの物はアンチ人間であるがそれは久しということはない」ということは成り立たないならばそれはねちっこくない fact3: もしも「この許可制度は扮する」ということは正しいなら「そのシーリングは賑わう」ということは成り立つ fact4: もしある物が突き付けるとすると扮する fact5: もし仮にとある物が経口投与するなら突き付ける fact6: もし仮にこの十歳頃がサンドするとするとこの許可制度は経口投与する fact7: 仮に「この許可制度は扮しない」ということは確かならそれは賑わうかあるいはそれは三連勝するかもしくは両方である fact8: 仮になんらかの物が経口投与するとすると扮するが突き付けない fact9: もし仮にこの許可制度が三連勝するとするとこの十歳頃は突き付ける fact10: そのノルマン人は扮しない fact11: 「この許可制度は扮するということはない」ということは事実である fact12: この許可制度が賑わうならこの十歳頃は突き付ける
fact7 & fact11 -> int1: この許可制度は賑わうかまたは三連勝する; int1 & fact12 & fact9 -> hypothesis;
fact7 & fact11 -> int1: ({AA}{a} v {AB}{a}); int1 & fact12 & fact9 -> hypothesis;
そのシーリングは賑わう
fact14 -> int2: もしもこの許可制度が突き付けるとすればそれは扮する; fact16 -> int3: この許可制度が経口投与するとしたら突き付ける;
$facts$ = fact1: もしもこの許可制度はねちっこくないならこの十歳頃は経口投与するしさらにサンドする fact2: もし仮に「なんらかの物はアンチ人間であるがそれは久しということはない」ということは成り立たないならばそれはねちっこくない fact3: もしも「この許可制度は扮する」ということは正しいなら「そのシーリングは賑わう」ということは成り立つ fact4: もしある物が突き付けるとすると扮する fact5: もし仮にとある物が経口投与するなら突き付ける fact6: もし仮にこの十歳頃がサンドするとするとこの許可制度は経口投与する fact7: 仮に「この許可制度は扮しない」ということは確かならそれは賑わうかあるいはそれは三連勝するかもしくは両方である fact8: 仮になんらかの物が経口投与するとすると扮するが突き付けない fact9: もし仮にこの許可制度が三連勝するとするとこの十歳頃は突き付ける fact10: そのノルマン人は扮しない fact11: 「この許可制度は扮するということはない」ということは事実である fact12: この許可制度が賑わうならこの十歳頃は突き付ける ; $hypothesis$ = この十歳頃は突き付けない ; $proof$ = 
fact7 & fact11 -> int1: この許可制度は賑わうかまたは三連勝する; int1 & fact12 & fact9 -> hypothesis; __DISPROVED__
事実1: もしもこの許可制度はねちっこくないならこの十歳頃は経口投与するしさらにサンドする
事実2: もし仮に「なんらかの物はアンチ人間であるがそれは久しということはない」ということは成り立たないならばそれはねちっこくない
事実3: もしも「この許可制度は扮する」ということは正しいなら「そのシーリングは賑わう」ということは成り立つ
事実4: もしある物が突き付けるとすると扮する
事実5: もし仮にとある物が経口投与するなら突き付ける
事実6: もし仮にこの十歳頃がサンドするとするとこの許可制度は経口投与する
事実7: 仮に「この許可制度は扮しない」ということは確かならそれは賑わうかあるいはそれは三連勝するかもしくは両方である
事実8: 仮になんらかの物が経口投与するとすると扮するが突き付けない
事実9: もし仮にこの許可制度が三連勝するとするとこの十歳頃は突き付ける
事実10: そのノルマン人は扮しない
事実11: 「この許可制度は扮するということはない」ということは事実である
事実12: この許可制度が賑わうならこの十歳頃は突き付ける

仮説: この十歳頃は突き付けない
1. 事実7と事実11から、推論1: "この許可制度は賑わうかまたは三連勝する"が導かれる
2. 推論1と事実12と事実9から、仮説が否定される

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