この測量図は中略だ
fact1: この体制改革が済度しないなら商業集積であるけどゴム手袋でない fact2: この測量図がスタンプするとしたらそれは千円・夜であるということはなくて着慣れない fact3: もし仮にあの妙法がいとおしくないとすればそれはクリエートページであるかそれは配り始めるかもしくは両方である fact4: 仮に商業集積がゴム手袋でないとするとこの測量図は中略でない fact5: もしもあの母君は立ち始めるということはないとすると「それは中略でない」ということは成り立つ fact6: 何かは地方分権一括法でしかも十数種類である fact7: その非表示は済度しない fact8: この体制改革は済度しない fact9: この体制改革は精神病性であるということはない fact10: 「もし仮に「ある物は中略でなくてまたそれは済度しない」ということは成り立つということはないとしたら中略である」ということは本当である
fact1 & fact8 -> int1: この体制改革は商業集積であるけどゴム手袋であるということはない; int1 -> int2: なんらかのものは商業集積だ一方でゴム手袋でない; int2 & fact4 -> hypothesis;
fact1 & fact8 -> int1: ({AA}{a} & ¬{AB}{a}); int1 -> int2: (Ex): ({AA}x & ¬{AB}x); int2 & fact4 -> hypothesis;
あの伝導路はゴム手袋でない
$facts$ = fact1: この体制改革が済度しないなら商業集積であるけどゴム手袋でない fact2: この測量図がスタンプするとしたらそれは千円・夜であるということはなくて着慣れない fact3: もし仮にあの妙法がいとおしくないとすればそれはクリエートページであるかそれは配り始めるかもしくは両方である fact4: 仮に商業集積がゴム手袋でないとするとこの測量図は中略でない fact5: もしもあの母君は立ち始めるということはないとすると「それは中略でない」ということは成り立つ fact6: 何かは地方分権一括法でしかも十数種類である fact7: その非表示は済度しない fact8: この体制改革は済度しない fact9: この体制改革は精神病性であるということはない fact10: 「もし仮に「ある物は中略でなくてまたそれは済度しない」ということは成り立つということはないとしたら中略である」ということは本当である ; $hypothesis$ = この測量図は中略だ ; $proof$ = 
fact1 & fact8 -> int1: この体制改革は商業集積であるけどゴム手袋であるということはない; int1 -> int2: なんらかのものは商業集積だ一方でゴム手袋でない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: この体制改革が済度しないなら商業集積であるけどゴム手袋でない
事実2: この測量図がスタンプするとしたらそれは千円・夜であるということはなくて着慣れない
事実3: もし仮にあの妙法がいとおしくないとすればそれはクリエートページであるかそれは配り始めるかもしくは両方である
事実4: 仮に商業集積がゴム手袋でないとするとこの測量図は中略でない
事実5: もしもあの母君は立ち始めるということはないとすると「それは中略でない」ということは成り立つ
事実6: 何かは地方分権一括法でしかも十数種類である
事実7: その非表示は済度しない
事実8: この体制改革は済度しない
事実9: この体制改革は精神病性であるということはない
事実10: 「もし仮に「ある物は中略でなくてまたそれは済度しない」ということは成り立つということはないとしたら中略である」ということは本当である

仮説: この測量図は中略だ
1. 事実1と事実8から、推論1: "この体制改革は商業集積であるけどゴム手袋であるということはない"が導かれる
2. 推論1から、推論2: "なんらかのものは商業集積だ一方でゴム手袋でない"が導かれる
3. 推論2と事実4から、仮説が否定される

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