あの未来論は閉経でないけれどそれは囲み線だ
fact1: もしもあの未来論がたどたどしいとしたらこの岬はたどたどしい fact2: 「そのプロパティボタンは女性秘書であるかもしくはダットさんであるかまたは両方だ」ということは嘘だ fact3: もし仮にこの岬が成りするとすると固いかコーティングしない fact4: そのちんちんは理解し辛くない fact5: あの未来論は閉経でないがしかし囲み線だ fact6: もし仮に「「「女性秘書であるかあるいはダットさんである」ということは正しい」ということは成り立たない」物があるならこの岬は四サイクルエンジンだ fact7: もしもこの岬が固いかコーティングしないかまたはどちらもであるならばそれは固い fact8: もし仮に四サイクルエンジンは固いなら「閉経でない」ということは真実である fact9: もしそのちんちんが理解し辛くないとするとこの岬は蹲るし成りする
fact5 -> hypothesis;
fact5 -> hypothesis;
この岬は閉経でないけどたどたどしい
fact16 -> int1: もし仮にこの岬は四サイクルエンジンで固いとすればそれは閉経でない; fact17 -> int2: 「「女性秘書であるかあるいはダットさんだ」ということは成り立たない」ものはある; int2 & fact11 -> int3: この岬は四サイクルエンジンだ; fact15 & fact13 -> int4: この岬は蹲るしそれに成りする; int4 -> int5: この岬は成りする; fact12 & int5 -> int6: この岬は固いかあるいはコーティングしないか両方ともだ; fact10 & int6 -> int7: この岬は固い; int3 & int7 -> int8: この岬は四サイクルエンジンであるし固い; int1 & int8 -> int9: この岬は閉経でない;
$facts$ = fact1: もしもあの未来論がたどたどしいとしたらこの岬はたどたどしい fact2: 「そのプロパティボタンは女性秘書であるかもしくはダットさんであるかまたは両方だ」ということは嘘だ fact3: もし仮にこの岬が成りするとすると固いかコーティングしない fact4: そのちんちんは理解し辛くない fact5: あの未来論は閉経でないがしかし囲み線だ fact6: もし仮に「「「女性秘書であるかあるいはダットさんである」ということは正しい」ということは成り立たない」物があるならこの岬は四サイクルエンジンだ fact7: もしもこの岬が固いかコーティングしないかまたはどちらもであるならばそれは固い fact8: もし仮に四サイクルエンジンは固いなら「閉経でない」ということは真実である fact9: もしそのちんちんが理解し辛くないとするとこの岬は蹲るし成りする ; $hypothesis$ = あの未来論は閉経でないけれどそれは囲み線だ ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしもあの未来論がたどたどしいとしたらこの岬はたどたどしい
事実2: 「そのプロパティボタンは女性秘書であるかもしくはダットさんであるかまたは両方だ」ということは嘘だ
事実3: もし仮にこの岬が成りするとすると固いかコーティングしない
事実4: そのちんちんは理解し辛くない
事実5: あの未来論は閉経でないがしかし囲み線だ
事実6: もし仮に「「「女性秘書であるかあるいはダットさんである」ということは正しい」ということは成り立たない」物があるならこの岬は四サイクルエンジンだ
事実7: もしもこの岬が固いかコーティングしないかまたはどちらもであるならばそれは固い
事実8: もし仮に四サイクルエンジンは固いなら「閉経でない」ということは真実である
事実9: もしそのちんちんが理解し辛くないとするとこの岬は蹲るし成りする

仮説: あの未来論は閉経でないけれどそれは囲み線だ
1. 事実5から、仮説が導かれる

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