あの旧教は思える
fact1: もし「この全期間は走破するということはないかまたはそれは活動し易くない」ということは成り立たないとすればあの旧教は思える fact2: あの姉蜂は批判しない fact3: あの中公文庫は批判しない fact4: もし「批判しない」物はあるとすれば「この全期間は走破しないかあるいはそれは活動し易いということはない」ということは成り立たない
fact2 -> int1: とあるものは批判しない; int1 & fact4 -> int2: 「この全期間は走破しないかまたは活動し易くないかもしくは両方である」ということは確かでない; int2 & fact1 -> hypothesis;
fact2 -> int1: (Ex): ¬{A}x; int1 & fact4 -> int2: ¬(¬{B}{a} v ¬{C}{a}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もし「この全期間は走破するということはないかまたはそれは活動し易くない」ということは成り立たないとすればあの旧教は思える fact2: あの姉蜂は批判しない fact3: あの中公文庫は批判しない fact4: もし「批判しない」物はあるとすれば「この全期間は走破しないかあるいはそれは活動し易いということはない」ということは成り立たない ; $hypothesis$ = あの旧教は思える ; $proof$ = 
fact2 -> int1: とあるものは批判しない; int1 & fact4 -> int2: 「この全期間は走破しないかまたは活動し易くないかもしくは両方である」ということは確かでない; int2 & fact1 -> hypothesis; __PROVED__
事実1: もし「この全期間は走破するということはないかまたはそれは活動し易くない」ということは成り立たないとすればあの旧教は思える
事実2: あの姉蜂は批判しない
事実3: あの中公文庫は批判しない
事実4: もし「批判しない」物はあるとすれば「この全期間は走破しないかあるいはそれは活動し易いということはない」ということは成り立たない

仮説: あの旧教は思える
1. 事実2から、推論1: "とあるものは批判しない"が導かれる
2. 推論1と事実4から、推論2: "「この全期間は走破しないかまたは活動し易くないかもしくは両方である」ということは確かでない"が導かれる
3. 推論2と事実1から、仮説が導かれる

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