その別格扱いは敗戦しないし更に薄れ掛けない
fact1: 「もしもその第三段階が薄れ掛ければその地元学童は女性同盟でない」ということは真実である fact2: その第三段階が敗戦するとしたらその別格扱いは薄れ掛けるということはない fact3: その地元学童が薄れ掛けるとしたらその別格扱いは敗戦しなくて薄れ掛けない fact4: その第三段階は敗戦する fact5: その十四世紀代は敗戦する fact6: 仮にその別格扱いが薄れ掛けるとすればその地元学童は女性同盟でなくてしかも薄れ掛けない fact7: その格言はど偉くないしさらに酸っぱくない fact8: 「その第三段階は薄れ掛ける」ということは事実ならその別格扱いは女性同盟でない fact9: その別格扱いは薄れ掛けないししかもそれは女性同盟でない fact10: その地元学童は揚子江である fact11: 「その別格扱いは女性同盟でなくておまけにそれは収集すらない」ということは正しい fact12: もしその第三段階が女性同盟であるとすればその地元学童は薄れ掛ける fact13: その遺告は女性同盟だ fact14: 仮に「その地元学童は敗戦する」ということは成り立つとしたらその別格扱いは女性同盟でない fact15: もし仮にその第三段階が薄れ掛けるとしたらその地元学童は女性同盟である fact16: 仮にその別格扱いが女性同盟ならばその地元学童は薄れ掛けないしまた女性同盟でない fact17: もしもその別格扱いが女性同盟だとしたらその第三段階は薄れ掛けるということはない fact18: その第三段階は女性同盟である fact19: 「あの注入率は女性同盟である」ということは成り立つ fact20: 仮になにがしかのものは教育面でなくて女性同盟であるということはないならば敗戦する fact21: その地元学童が女性同盟ならその第三段階は薄れ掛けるということはない
fact12 & fact18 -> int1: その地元学童は薄れ掛ける; int1 & fact3 -> hypothesis;
「その別格扱いは敗戦しないししかもそれは薄れ掛けない」ということは間違いである
fact22 -> int2: 仮にその第三段階が教育面でなくてそれは女性同盟でないとすると敗戦する;
$facts$ = fact1: 「もしもその第三段階が薄れ掛ければその地元学童は女性同盟でない」ということは真実である fact2: その第三段階が敗戦するとしたらその別格扱いは薄れ掛けるということはない fact3: その地元学童が薄れ掛けるとしたらその別格扱いは敗戦しなくて薄れ掛けない fact4: その第三段階は敗戦する fact5: その十四世紀代は敗戦する fact6: 仮にその別格扱いが薄れ掛けるとすればその地元学童は女性同盟でなくてしかも薄れ掛けない fact7: その格言はど偉くないしさらに酸っぱくない fact8: 「その第三段階は薄れ掛ける」ということは事実ならその別格扱いは女性同盟でない fact9: その別格扱いは薄れ掛けないししかもそれは女性同盟でない fact10: その地元学童は揚子江である fact11: 「その別格扱いは女性同盟でなくておまけにそれは収集すらない」ということは正しい fact12: もしその第三段階が女性同盟であるとすればその地元学童は薄れ掛ける fact13: その遺告は女性同盟だ fact14: 仮に「その地元学童は敗戦する」ということは成り立つとしたらその別格扱いは女性同盟でない fact15: もし仮にその第三段階が薄れ掛けるとしたらその地元学童は女性同盟である fact16: 仮にその別格扱いが女性同盟ならばその地元学童は薄れ掛けないしまた女性同盟でない fact17: もしもその別格扱いが女性同盟だとしたらその第三段階は薄れ掛けるということはない fact18: その第三段階は女性同盟である fact19: 「あの注入率は女性同盟である」ということは成り立つ fact20: 仮になにがしかのものは教育面でなくて女性同盟であるということはないならば敗戦する fact21: その地元学童が女性同盟ならその第三段階は薄れ掛けるということはない ; $hypothesis$ = その別格扱いは敗戦しないし更に薄れ掛けない ; $proof$ = 
fact12 & fact18 -> int1: その地元学童は薄れ掛ける; int1 & fact3 -> hypothesis; __PROVED__
事実1: 「もしもその第三段階が薄れ掛ければその地元学童は女性同盟でない」ということは真実である
事実2: その第三段階が敗戦するとしたらその別格扱いは薄れ掛けるということはない
事実3: その地元学童が薄れ掛けるとしたらその別格扱いは敗戦しなくて薄れ掛けない
事実4: その第三段階は敗戦する
事実5: その十四世紀代は敗戦する
事実6: 仮にその別格扱いが薄れ掛けるとすればその地元学童は女性同盟でなくてしかも薄れ掛けない
事実7: その格言はど偉くないしさらに酸っぱくない
事実8: 「その第三段階は薄れ掛ける」ということは事実ならその別格扱いは女性同盟でない
事実9: その別格扱いは薄れ掛けないししかもそれは女性同盟でない
事実10: その地元学童は揚子江である
事実11: 「その別格扱いは女性同盟でなくておまけにそれは収集すらない」ということは正しい
事実12: もしその第三段階が女性同盟であるとすればその地元学童は薄れ掛ける
事実13: その遺告は女性同盟だ
事実14: 仮に「その地元学童は敗戦する」ということは成り立つとしたらその別格扱いは女性同盟でない
事実15: もし仮にその第三段階が薄れ掛けるとしたらその地元学童は女性同盟である
事実16: 仮にその別格扱いが女性同盟ならばその地元学童は薄れ掛けないしまた女性同盟でない
事実17: もしもその別格扱いが女性同盟だとしたらその第三段階は薄れ掛けるということはない
事実18: その第三段階は女性同盟である
事実19: 「あの注入率は女性同盟である」ということは成り立つ
事実20: 仮になにがしかのものは教育面でなくて女性同盟であるということはないならば敗戦する
事実21: その地元学童が女性同盟ならその第三段階は薄れ掛けるということはない

仮説: その別格扱いは敗戦しないし更に薄れ掛けない
1. 事実12と事実18から、推論1: "その地元学童は薄れ掛ける"が導かれる
2. 推論1と事実3から、仮説が導かれる

よって、仮説が証明されました。