もしもこのバニー・ガールが切り掛けるとするとこの姉別南は程遠くないけれど宜しい
fact1: 仮にその洗礼が米内であるならあのテルグ語は宜しい fact2: 仮にあのテルグ語が宜しいならこの姉別南は宜しい fact3: 「もし仮に「前年度比でない一方で切り掛ける」物があるとしたらこの姉別南は程遠くない」ということは偽でない fact4: このバニー・ガールは献上だということはない fact5: なにかは前年度比でない fact6: 「前年度比で切り掛ける」ものはある fact7: 「「切り掛ける」ということは事実である」ものはある fact8: あの秘匿性は正しくないけどちっちゃい fact9: その洗礼は程遠くない fact10: このバニー・ガールが前年度比ならば献上だ fact11: その洗礼は米内である
void -> assump2: 以下のように仮定する。「このバニー・ガールは前年度比だ」ということは事実だ; fact10 & assump2 -> int1: 「このバニー・ガールは献上だ」ということは成り立つ; int1 & fact4 -> int2: これは矛盾である; [assump2] & int2 -> int3: このバニー・ガールは前年度比でない; void -> assump1: 以下のように仮定する。「このバニー・ガールは切り掛ける」ということは成り立つ; int3 & assump1 -> int4: 「このバニー・ガールは前年度比でないけど切り掛ける」ということは成り立つ; int4 -> int5: あるものは前年度比でない一方でそれは切り掛ける; int5 & fact3 -> int6: この姉別南は程遠くない; fact11 & fact1 -> int7: あのテルグ語は宜しい; fact2 & int7 -> int8: この姉別南は宜しい; int6 & int8 -> int9: この姉別南は程遠くないけど宜しい; [assump1] & int9 -> hypothesis;
$facts$ = fact1: 仮にその洗礼が米内であるならあのテルグ語は宜しい fact2: 仮にあのテルグ語が宜しいならこの姉別南は宜しい fact3: 「もし仮に「前年度比でない一方で切り掛ける」物があるとしたらこの姉別南は程遠くない」ということは偽でない fact4: このバニー・ガールは献上だということはない fact5: なにかは前年度比でない fact6: 「前年度比で切り掛ける」ものはある fact7: 「「切り掛ける」ということは事実である」ものはある fact8: あの秘匿性は正しくないけどちっちゃい fact9: その洗礼は程遠くない fact10: このバニー・ガールが前年度比ならば献上だ fact11: その洗礼は米内である ; $hypothesis$ = もしもこのバニー・ガールが切り掛けるとするとこの姉別南は程遠くないけれど宜しい ; $proof$ = 
void -> assump2: 以下のように仮定する。「このバニー・ガールは前年度比だ」ということは事実だ; fact10 & assump2 -> int1: 「このバニー・ガールは献上だ」ということは成り立つ; int1 & fact4 -> int2: これは矛盾である; [assump2] & int2 -> int3: このバニー・ガールは前年度比でない; void -> assump1: 以下のように仮定する。「このバニー・ガールは切り掛ける」ということは成り立つ; int3 & assump1 -> int4: 「このバニー・ガールは前年度比でないけど切り掛ける」ということは成り立つ; int4 -> int5: あるものは前年度比でない一方でそれは切り掛ける; int5 & fact3 -> int6: この姉別南は程遠くない; fact11 & fact1 -> int7: あのテルグ語は宜しい; fact2 & int7 -> int8: この姉別南は宜しい; int6 & int8 -> int9: この姉別南は程遠くないけど宜しい; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 仮にその洗礼が米内であるならあのテルグ語は宜しい
事実2: 仮にあのテルグ語が宜しいならこの姉別南は宜しい
事実3: 「もし仮に「前年度比でない一方で切り掛ける」物があるとしたらこの姉別南は程遠くない」ということは偽でない
事実4: このバニー・ガールは献上だということはない
事実5: なにかは前年度比でない
事実6: 「前年度比で切り掛ける」ものはある
事実7: 「「切り掛ける」ということは事実である」ものはある
事実8: あの秘匿性は正しくないけどちっちゃい
事実9: その洗礼は程遠くない
事実10: このバニー・ガールが前年度比ならば献上だ
事実11: その洗礼は米内である

仮説: もしもこのバニー・ガールが切り掛けるとするとこの姉別南は程遠くないけれど宜しい
1. 仮定2: 以下のように仮定する。「このバニー・ガールは前年度比だ」ということは事実だ
2. 事実10と仮定2から、推論1: "「このバニー・ガールは献上だ」ということは成り立つ"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定2]と推論2から、推論3: "このバニー・ガールは前年度比でない"が導かれる
5. 仮定1: 以下のように仮定する。「このバニー・ガールは切り掛ける」ということは成り立つ
6. 推論3と仮定1から、推論4: "「このバニー・ガールは前年度比でないけど切り掛ける」ということは成り立つ"が導かれる
7. 推論4から、推論5: "あるものは前年度比でない一方でそれは切り掛ける"が導かれる
8. 推論5と事実3から、推論6: "この姉別南は程遠くない"が導かれる
9. 事実11と事実1から、推論7: "あのテルグ語は宜しい"が導かれる
10. 事実2と推論7から、推論8: "この姉別南は宜しい"が導かれる
11. 推論6と推論8から、推論9: "この姉別南は程遠くないけど宜しい"が導かれる
12. [仮定1]と推論9から、仮説が導かれる

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