「もしも登下校であるということはないならば残り難くない」物はある
fact1: もし仮になにがしかの物が扱い易くないとすればだだっ広くない fact2: この科名は有意水準でないとすると熟慮でない fact3: もし何かは登下校でないとすれば残り難くない fact4: 仮になにがしかのものはパリ体験でないなら英国人だ fact5: 仮にあるものは登下校であるとすれば残り難くない fact6: 「もしも登下校だとしたら残り難くない」物はある fact7: 「もし仮にこの科名が登下校でないならばこの科名は残り難い」ということは成り立つ fact8: もし仮にこの科名が登下校だとすると残り難くない fact9: 「もし登下校でないとすれば「残り難い」ということは正しい」ものはある fact10: もしもとある物が振り返らないとすればそれは既払いである
fact3 -> int1: 仮に「この科名は登下校でない」ということは真実だとするとそれは残り難いということはない; int1 -> hypothesis;
fact3 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし仮になにがしかの物が扱い易くないとすればだだっ広くない fact2: この科名は有意水準でないとすると熟慮でない fact3: もし何かは登下校でないとすれば残り難くない fact4: 仮になにがしかのものはパリ体験でないなら英国人だ fact5: 仮にあるものは登下校であるとすれば残り難くない fact6: 「もしも登下校だとしたら残り難くない」物はある fact7: 「もし仮にこの科名が登下校でないならばこの科名は残り難い」ということは成り立つ fact8: もし仮にこの科名が登下校だとすると残り難くない fact9: 「もし登下校でないとすれば「残り難い」ということは正しい」ものはある fact10: もしもとある物が振り返らないとすればそれは既払いである ; $hypothesis$ = 「もしも登下校であるということはないならば残り難くない」物はある ; $proof$ = 
fact3 -> int1: 仮に「この科名は登下校でない」ということは真実だとするとそれは残り難いということはない; int1 -> hypothesis; __PROVED__
事実1: もし仮になにがしかの物が扱い易くないとすればだだっ広くない
事実2: この科名は有意水準でないとすると熟慮でない
事実3: もし何かは登下校でないとすれば残り難くない
事実4: 仮になにがしかのものはパリ体験でないなら英国人だ
事実5: 仮にあるものは登下校であるとすれば残り難くない
事実6: 「もしも登下校だとしたら残り難くない」物はある
事実7: 「もし仮にこの科名が登下校でないならばこの科名は残り難い」ということは成り立つ
事実8: もし仮にこの科名が登下校だとすると残り難くない
事実9: 「もし登下校でないとすれば「残り難い」ということは正しい」ものはある
事実10: もしもとある物が振り返らないとすればそれは既払いである

仮説: 「もしも登下校であるということはないならば残り難くない」物はある
1. 事実3から、推論1: "仮に「この科名は登下校でない」ということは真実だとするとそれは残り難いということはない"が導かれる
2. 推論1から、仮説が導かれる

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