あの女子学生達は御説きに成らない
fact1: あの一律は近接するということはない fact2: その無抵抗は分与するし押さえ難い fact3: その無抵抗は近接する fact4: その軍備管理はアメリカっぽくて均一化する fact5: 仮にその無抵抗が入学前だしその上均一化するならあの女子学生達は御説きに成るということはない fact6: もしもその無抵抗が均一化するしおまけにそれが入学前であるとするとあの女子学生達は均一化しない fact7: その無抵抗は狙い易い fact8: もし「その無抵抗は均一化するし御説きに成る」ということは成り立つとするとあの女子学生達は近接しない fact9: その無抵抗は入学前である fact10: もしもその家族員相互は玉垣でないならば「緩和するしそれは鬱積しない」ということは誤っている fact11: 「その家族員相互は緩和するけど鬱積しない」ということは嘘だとしたらこの竪穴は狂おしい fact12: その無抵抗は近接するしさらに均一化する fact13: 「その無抵抗は構想するししかも血小板成分採血である」ということは間違いでない fact14: その家族員相互は手解きするがしかしそれは玉垣でない
fact12 -> int1: その無抵抗は均一化する; int1 & fact9 -> int2: 「その無抵抗は入学前であるし更にそれは均一化する」ということは正しい; int2 & fact5 -> hypothesis;
あの女子学生達は均一化しない
fact18 -> int3: その家族員相互は玉垣でない; fact15 & int3 -> int4: 「その家族員相互は緩和するけれど鬱積しない」ということは誤りである; fact16 & int4 -> int5: この竪穴は狂おしい; int5 -> int6: この竪穴は御説きに成るかもしくはそれは狂おしいかまたはどちらもだ; int6 -> int7: 「御説きに成るかもしくは狂おしいかどちらもである」ものはある;
$facts$ = fact1: あの一律は近接するということはない fact2: その無抵抗は分与するし押さえ難い fact3: その無抵抗は近接する fact4: その軍備管理はアメリカっぽくて均一化する fact5: 仮にその無抵抗が入学前だしその上均一化するならあの女子学生達は御説きに成るということはない fact6: もしもその無抵抗が均一化するしおまけにそれが入学前であるとするとあの女子学生達は均一化しない fact7: その無抵抗は狙い易い fact8: もし「その無抵抗は均一化するし御説きに成る」ということは成り立つとするとあの女子学生達は近接しない fact9: その無抵抗は入学前である fact10: もしもその家族員相互は玉垣でないならば「緩和するしそれは鬱積しない」ということは誤っている fact11: 「その家族員相互は緩和するけど鬱積しない」ということは嘘だとしたらこの竪穴は狂おしい fact12: その無抵抗は近接するしさらに均一化する fact13: 「その無抵抗は構想するししかも血小板成分採血である」ということは間違いでない fact14: その家族員相互は手解きするがしかしそれは玉垣でない ; $hypothesis$ = あの女子学生達は御説きに成らない ; $proof$ = 
fact12 -> int1: その無抵抗は均一化する; int1 & fact9 -> int2: 「その無抵抗は入学前であるし更にそれは均一化する」ということは正しい; int2 & fact5 -> hypothesis; __PROVED__
事実1: あの一律は近接するということはない
事実2: その無抵抗は分与するし押さえ難い
事実3: その無抵抗は近接する
事実4: その軍備管理はアメリカっぽくて均一化する
事実5: 仮にその無抵抗が入学前だしその上均一化するならあの女子学生達は御説きに成るということはない
事実6: もしもその無抵抗が均一化するしおまけにそれが入学前であるとするとあの女子学生達は均一化しない
事実7: その無抵抗は狙い易い
事実8: もし「その無抵抗は均一化するし御説きに成る」ということは成り立つとするとあの女子学生達は近接しない
事実9: その無抵抗は入学前である
事実10: もしもその家族員相互は玉垣でないならば「緩和するしそれは鬱積しない」ということは誤っている
事実11: 「その家族員相互は緩和するけど鬱積しない」ということは嘘だとしたらこの竪穴は狂おしい
事実12: その無抵抗は近接するしさらに均一化する
事実13: 「その無抵抗は構想するししかも血小板成分採血である」ということは間違いでない
事実14: その家族員相互は手解きするがしかしそれは玉垣でない

仮説: あの女子学生達は御説きに成らない
1. 事実12から、推論1: "その無抵抗は均一化する"が導かれる
2. 推論1と事実9から、推論2: "「その無抵抗は入学前であるし更にそれは均一化する」ということは正しい"が導かれる
3. 推論2と事実5から、仮説が導かれる

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