「「仮にホイップしないとしたら「慎み深くないかあるいは緊縛しない」ということは正しくない」ものはある」ということは成り立つ
fact1: もし仮にあの入学当初は厄難でないなら「それはエキサイトしないかあるいは緊縛しないかもしくは両方である」ということは偽である fact2: 仮に「何かは踏み倒さない」ということは確かであるとしたら「それは調達すということはないかまたは自分らしくないかまたは両方ともである」ということは誤りだ fact3: とある物はホイップしないなら「慎み深くないかそれは緊縛する」ということは事実と異なる fact4: あの入学当初はホイップしないならば「慎み深くないかあるいはそれは緊縛するかまたはどちらもだ」ということは成り立たない fact5: 仮にあの入学当初は眠り込まないとすれば「それは調停しないか降り注がない」ということは誤っている fact6: もしあの入学当初がホイップするということはないならばそれは慎み深い fact7: なんらかのものはホイップするということはないとすると「それは慎み深い」ということは成り立つ fact8: もしもあの入学当初はホイップすれば「それは慎み深いということはないかもしくはそれは緊縛しないか両方である」ということは偽だ fact9: もしも何らかのものはホイップしないとすれば「慎み深くないかあるいはそれは緊縛しないかあるいは両方である」ということは正しくない fact10: 「ホイップするということはないなら「慎み深いということはないかあるいは緊縛するか両方である」ということは成り立たない」物はある fact11: もしある物はホイップすれば「慎み深くないかもしくは緊縛しないかもしくは両方ともである」ということは成り立たない fact12: 「「ホイップしない」ということは間違っていないとすると慎み深くないかあるいは緊縛するということはない」ものはある fact13: なんらかのものがホイップしないならば慎み深くないか緊縛しないかあるいは両方だ fact14: 「仮にホイップしないとすると慎み深い」物はある fact15: 「ホイップすれば「慎み深くないかあるいは緊縛しないかあるいはどちらもだ」ということは正しくない」物はある
fact9 -> int1: 仮にあの入学当初はホイップしないとすると「それは慎み深いということはないか緊縛するということはないか両方ともである」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もし仮にあの入学当初は厄難でないなら「それはエキサイトしないかあるいは緊縛しないかもしくは両方である」ということは偽である fact2: 仮に「何かは踏み倒さない」ということは確かであるとしたら「それは調達すということはないかまたは自分らしくないかまたは両方ともである」ということは誤りだ fact3: とある物はホイップしないなら「慎み深くないかそれは緊縛する」ということは事実と異なる fact4: あの入学当初はホイップしないならば「慎み深くないかあるいはそれは緊縛するかまたはどちらもだ」ということは成り立たない fact5: 仮にあの入学当初は眠り込まないとすれば「それは調停しないか降り注がない」ということは誤っている fact6: もしあの入学当初がホイップするということはないならばそれは慎み深い fact7: なんらかのものはホイップするということはないとすると「それは慎み深い」ということは成り立つ fact8: もしもあの入学当初はホイップすれば「それは慎み深いということはないかもしくはそれは緊縛しないか両方である」ということは偽だ fact9: もしも何らかのものはホイップしないとすれば「慎み深くないかあるいはそれは緊縛しないかあるいは両方である」ということは正しくない fact10: 「ホイップするということはないなら「慎み深いということはないかあるいは緊縛するか両方である」ということは成り立たない」物はある fact11: もしある物はホイップすれば「慎み深くないかもしくは緊縛しないかもしくは両方ともである」ということは成り立たない fact12: 「「ホイップしない」ということは間違っていないとすると慎み深くないかあるいは緊縛するということはない」ものはある fact13: なんらかのものがホイップしないならば慎み深くないか緊縛しないかあるいは両方だ fact14: 「仮にホイップしないとすると慎み深い」物はある fact15: 「ホイップすれば「慎み深くないかあるいは緊縛しないかあるいはどちらもだ」ということは正しくない」物はある ; $hypothesis$ = 「「仮にホイップしないとしたら「慎み深くないかあるいは緊縛しない」ということは正しくない」ものはある」ということは成り立つ ; $proof$ = 
fact9 -> int1: 仮にあの入学当初はホイップしないとすると「それは慎み深いということはないか緊縛するということはないか両方ともである」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もし仮にあの入学当初は厄難でないなら「それはエキサイトしないかあるいは緊縛しないかもしくは両方である」ということは偽である
事実2: 仮に「何かは踏み倒さない」ということは確かであるとしたら「それは調達すということはないかまたは自分らしくないかまたは両方ともである」ということは誤りだ
事実3: とある物はホイップしないなら「慎み深くないかそれは緊縛する」ということは事実と異なる
事実4: あの入学当初はホイップしないならば「慎み深くないかあるいはそれは緊縛するかまたはどちらもだ」ということは成り立たない
事実5: 仮にあの入学当初は眠り込まないとすれば「それは調停しないか降り注がない」ということは誤っている
事実6: もしあの入学当初がホイップするということはないならばそれは慎み深い
事実7: なんらかのものはホイップするということはないとすると「それは慎み深い」ということは成り立つ
事実8: もしもあの入学当初はホイップすれば「それは慎み深いということはないかもしくはそれは緊縛しないか両方である」ということは偽だ
事実9: もしも何らかのものはホイップしないとすれば「慎み深くないかあるいはそれは緊縛しないかあるいは両方である」ということは正しくない
事実10: 「ホイップするということはないなら「慎み深いということはないかあるいは緊縛するか両方である」ということは成り立たない」物はある
事実11: もしある物はホイップすれば「慎み深くないかもしくは緊縛しないかもしくは両方ともである」ということは成り立たない
事実12: 「「ホイップしない」ということは間違っていないとすると慎み深くないかあるいは緊縛するということはない」ものはある
事実13: なんらかのものがホイップしないならば慎み深くないか緊縛しないかあるいは両方だ
事実14: 「仮にホイップしないとすると慎み深い」物はある
事実15: 「ホイップすれば「慎み深くないかあるいは緊縛しないかあるいはどちらもだ」ということは正しくない」物はある

仮説: 「「仮にホイップしないとしたら「慎み深くないかあるいは緊縛しない」ということは正しくない」ものはある」ということは成り立つ
1. 事実9から、推論1: "仮にあの入学当初はホイップしないとすると「それは慎み深いということはないか緊縛するということはないか両方ともである」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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