あの雑木林は形成し易いということはないがしかしアリール基である
fact1: 仮になんらかの物は犯し易くないならば「それは形成し易いということはないがしかしアリール基だ」ということは偽だ fact2: その衝立ては核戦力である fact3: もしその衝立てが形成し易くないならあの貞操は脱出出来るということはないか六月時点であるか両方だ fact4: 「あの雑木林は六月時点だ」ということは成り立つ fact5: 「仮にあの貞操がアリール基でないとするとあの雑木林は形成し易くないけれどそれはアリール基である」ということは真実だ fact6: もし仮にその衝立ては核戦力であるなら脱出出来る fact7: 「あの貞操は犯し易い」ということは正しい fact8: もし仮にあの貞操が犯し易いし更にアリール基であるならその衝立ては六月時点でない fact9: もし仮になんらかの物が脱出出来ればそれは六月時点である fact10: もしあの貞操がアリール基でないとしたらその衝立てはアリール基だ
void -> assump1: 以下のように仮定する。あの貞操はアリール基である; fact7 & assump1 -> int1: あの貞操は犯し易くてさらにアリール基である; int1 & fact8 -> int2: その衝立ては六月時点でない; fact2 & fact6 -> int3: その衝立ては脱出出来る; fact9 -> int4: その衝立てが脱出出来るとすればそれは六月時点である; int3 & int4 -> int5: その衝立ては六月時点である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの貞操はアリール基でない; int7 & fact5 -> hypothesis;
「あの雑木林は形成し易くないがアリール基である」ということは成り立たない
fact11 -> int8: もしあの雑木林は犯し易くないなら「それは形成し易くないけれどアリール基である」ということは嘘だ;
$facts$ = fact1: 仮になんらかの物は犯し易くないならば「それは形成し易いということはないがしかしアリール基だ」ということは偽だ fact2: その衝立ては核戦力である fact3: もしその衝立てが形成し易くないならあの貞操は脱出出来るということはないか六月時点であるか両方だ fact4: 「あの雑木林は六月時点だ」ということは成り立つ fact5: 「仮にあの貞操がアリール基でないとするとあの雑木林は形成し易くないけれどそれはアリール基である」ということは真実だ fact6: もし仮にその衝立ては核戦力であるなら脱出出来る fact7: 「あの貞操は犯し易い」ということは正しい fact8: もし仮にあの貞操が犯し易いし更にアリール基であるならその衝立ては六月時点でない fact9: もし仮になんらかの物が脱出出来ればそれは六月時点である fact10: もしあの貞操がアリール基でないとしたらその衝立てはアリール基だ ; $hypothesis$ = あの雑木林は形成し易いということはないがしかしアリール基である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの貞操はアリール基である; fact7 & assump1 -> int1: あの貞操は犯し易くてさらにアリール基である; int1 & fact8 -> int2: その衝立ては六月時点でない; fact2 & fact6 -> int3: その衝立ては脱出出来る; fact9 -> int4: その衝立てが脱出出来るとすればそれは六月時点である; int3 & int4 -> int5: その衝立ては六月時点である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの貞操はアリール基でない; int7 & fact5 -> hypothesis; __PROVED__
事実1: 仮になんらかの物は犯し易くないならば「それは形成し易いということはないがしかしアリール基だ」ということは偽だ
事実2: その衝立ては核戦力である
事実3: もしその衝立てが形成し易くないならあの貞操は脱出出来るということはないか六月時点であるか両方だ
事実4: 「あの雑木林は六月時点だ」ということは成り立つ
事実5: 「仮にあの貞操がアリール基でないとするとあの雑木林は形成し易くないけれどそれはアリール基である」ということは真実だ
事実6: もし仮にその衝立ては核戦力であるなら脱出出来る
事実7: 「あの貞操は犯し易い」ということは正しい
事実8: もし仮にあの貞操が犯し易いし更にアリール基であるならその衝立ては六月時点でない
事実9: もし仮になんらかの物が脱出出来ればそれは六月時点である
事実10: もしあの貞操がアリール基でないとしたらその衝立てはアリール基だ

仮説: あの雑木林は形成し易いということはないがしかしアリール基である
1. 仮定1: 以下のように仮定する。あの貞操はアリール基である
2. 事実7と仮定1から、推論1: "あの貞操は犯し易くてさらにアリール基である"が導かれる
3. 推論1と事実8から、推論2: "その衝立ては六月時点でない"が導かれる
4. 事実2と事実6から、推論3: "その衝立ては脱出出来る"が導かれる
5. 事実9から、推論4: "その衝立てが脱出出来るとすればそれは六月時点である"が導かれる
6. 推論3と推論4から、推論5: "その衝立ては六月時点である"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの貞操はアリール基でない"が導かれる
9. 推論7と事実5から、仮説が導かれる

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