その生理的適応は新提案でない
fact1: もしなんらかのものが眺め入るなら堕落しないかもしくはそれは撫ぜない fact2: もし「「その生理的適応は動き易いということはない一方で漏れ出す」ということは真実である」ということは成り立たないとすると民同であるということはない fact3: もしもその生理的適応は新提案であるとするとそれは堕落する fact4: 何らかの物が撫ぜないとしたらそれは新提案だししかも堕落する fact5: もしも「漏れ出すし更に動き易い」ものがあるとしたらこのロフトは眺め入る fact6: 「その生理的適応は動き易くないけれど漏れ出す」ということは成り立たない fact7: 仮に「偏愛な」物があるならこのロフトはくどいし民同だ fact8: あの不効率は余儀無い fact9: 「あのミセスＢは撫ぜる」ということは成り立つ fact10: 仮にあの不効率が余儀無いとすればそれは偏愛だ fact11: その生理的適応は撫ぜる一方で堕落しない fact12: 「漏れ出すし動き易い」物はある
void -> assump1: 以下のように仮定する。その生理的適応は新提案だ; fact3 & assump1 -> int1: その生理的適応は堕落する; fact11 -> int2: その生理的適応は堕落しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの調整は新提案である
fact13 -> int4: もしもあの調整が眺め入るとしたら堕落しないかあるいは撫ぜないかあるいは両方ともである; fact14 & fact15 -> int5: その生理的適応は民同だということはない; int5 -> int6: 「「民同でない」ということは真実である」ものはある;
$facts$ = fact1: もしなんらかのものが眺め入るなら堕落しないかもしくはそれは撫ぜない fact2: もし「「その生理的適応は動き易いということはない一方で漏れ出す」ということは真実である」ということは成り立たないとすると民同であるということはない fact3: もしもその生理的適応は新提案であるとするとそれは堕落する fact4: 何らかの物が撫ぜないとしたらそれは新提案だししかも堕落する fact5: もしも「漏れ出すし更に動き易い」ものがあるとしたらこのロフトは眺め入る fact6: 「その生理的適応は動き易くないけれど漏れ出す」ということは成り立たない fact7: 仮に「偏愛な」物があるならこのロフトはくどいし民同だ fact8: あの不効率は余儀無い fact9: 「あのミセスＢは撫ぜる」ということは成り立つ fact10: 仮にあの不効率が余儀無いとすればそれは偏愛だ fact11: その生理的適応は撫ぜる一方で堕落しない fact12: 「漏れ出すし動き易い」物はある ; $hypothesis$ = その生理的適応は新提案でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その生理的適応は新提案だ; fact3 & assump1 -> int1: その生理的適応は堕落する; fact11 -> int2: その生理的適応は堕落しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしなんらかのものが眺め入るなら堕落しないかもしくはそれは撫ぜない
事実2: もし「「その生理的適応は動き易いということはない一方で漏れ出す」ということは真実である」ということは成り立たないとすると民同であるということはない
事実3: もしもその生理的適応は新提案であるとするとそれは堕落する
事実4: 何らかの物が撫ぜないとしたらそれは新提案だししかも堕落する
事実5: もしも「漏れ出すし更に動き易い」ものがあるとしたらこのロフトは眺め入る
事実6: 「その生理的適応は動き易くないけれど漏れ出す」ということは成り立たない
事実7: 仮に「偏愛な」物があるならこのロフトはくどいし民同だ
事実8: あの不効率は余儀無い
事実9: 「あのミセスＢは撫ぜる」ということは成り立つ
事実10: 仮にあの不効率が余儀無いとすればそれは偏愛だ
事実11: その生理的適応は撫ぜる一方で堕落しない
事実12: 「漏れ出すし動き易い」物はある

仮説: その生理的適応は新提案でない
1. 仮定1: 以下のように仮定する。その生理的適応は新提案だ
2. 事実3と仮定1から、推論1: "その生理的適応は堕落する"が導かれる
3. 事実11から、推論2: "その生理的適応は堕落しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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