「あの解毒剤は雪上だ」ということは本当である
fact1: あの解毒剤が雪上でないならあの私的生活は生易しいかもしくは生え易い fact2: 仮に何かは心弱いとすると雪上でなくて更に表白する fact3: あの私的生活は極細である fact4: 仮にあの下級生が住み難くないかあるいはそれは生易しいなら「あの解毒剤は雪上でない」ということは成り立つということはない fact5: あの私的生活が表白しないとするとあの下級生は住み難くないかあるいはそれは生易しいかどちらもである fact6: 住み難くないものは心弱くてまた生易しい fact7: 「あの私的生活は住み難い一方でそれは育成しない」ということは間違いだ fact8: その白マントは心弱くない fact9: 仮に「あの私的生活は極細でないか生え易いかまたは両方だ」ということは間違っているとすると表白するということはない fact10: もしあの私的生活が極細でないかそれが生え易いとしたらその白マントは心弱い fact11: あの下級生が住み難くないならばあの解毒剤は雪上だ
void -> assump1: 以下のように仮定する。あの私的生活は極細であるということはないか生え易いかもしくはどちらもである; fact10 & assump1 -> int1: その白マントは心弱い; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの私的生活は極細でないかもしくはそれは生え易い」ということは成り立たない; int3 & fact9 -> int4: あの私的生活は表白しない; int4 & fact5 -> int5: あの下級生は住み難くないか生易しいかもしくは両方である; int5 & fact4 -> hypothesis;
あの解毒剤は雪上でない
fact13 -> int6: 仮にあの解毒剤が心弱いならそれは雪上でないしまたそれは表白する; fact14 -> int7: もしあの解毒剤は住み難くないなら「心弱いししかも生易しい」ということは成り立つ; fact12 -> int8: 「「「住み難いしその上育成するない」ということは成り立つ」ということは間違っている」ものはある;
$facts$ = fact1: あの解毒剤が雪上でないならあの私的生活は生易しいかもしくは生え易い fact2: 仮に何かは心弱いとすると雪上でなくて更に表白する fact3: あの私的生活は極細である fact4: 仮にあの下級生が住み難くないかあるいはそれは生易しいなら「あの解毒剤は雪上でない」ということは成り立つということはない fact5: あの私的生活が表白しないとするとあの下級生は住み難くないかあるいはそれは生易しいかどちらもである fact6: 住み難くないものは心弱くてまた生易しい fact7: 「あの私的生活は住み難い一方でそれは育成しない」ということは間違いだ fact8: その白マントは心弱くない fact9: 仮に「あの私的生活は極細でないか生え易いかまたは両方だ」ということは間違っているとすると表白するということはない fact10: もしあの私的生活が極細でないかそれが生え易いとしたらその白マントは心弱い fact11: あの下級生が住み難くないならばあの解毒剤は雪上だ ; $hypothesis$ = 「あの解毒剤は雪上だ」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの私的生活は極細であるということはないか生え易いかもしくはどちらもである; fact10 & assump1 -> int1: その白マントは心弱い; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの私的生活は極細でないかもしくはそれは生え易い」ということは成り立たない; int3 & fact9 -> int4: あの私的生活は表白しない; int4 & fact5 -> int5: あの下級生は住み難くないか生易しいかもしくは両方である; int5 & fact4 -> hypothesis; __PROVED__
事実1: あの解毒剤が雪上でないならあの私的生活は生易しいかもしくは生え易い
事実2: 仮に何かは心弱いとすると雪上でなくて更に表白する
事実3: あの私的生活は極細である
事実4: 仮にあの下級生が住み難くないかあるいはそれは生易しいなら「あの解毒剤は雪上でない」ということは成り立つということはない
事実5: あの私的生活が表白しないとするとあの下級生は住み難くないかあるいはそれは生易しいかどちらもである
事実6: 住み難くないものは心弱くてまた生易しい
事実7: 「あの私的生活は住み難い一方でそれは育成しない」ということは間違いだ
事実8: その白マントは心弱くない
事実9: 仮に「あの私的生活は極細でないか生え易いかまたは両方だ」ということは間違っているとすると表白するということはない
事実10: もしあの私的生活が極細でないかそれが生え易いとしたらその白マントは心弱い
事実11: あの下級生が住み難くないならばあの解毒剤は雪上だ

仮説: 「あの解毒剤は雪上だ」ということは本当である
1. 仮定1: 以下のように仮定する。あの私的生活は極細であるということはないか生え易いかもしくはどちらもである
2. 事実10と仮定1から、推論1: "その白マントは心弱い"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの私的生活は極細でないかもしくはそれは生え易い」ということは成り立たない"が導かれる
5. 推論3と事実9から、推論4: "あの私的生活は表白しない"が導かれる
6. 推論4と事実5から、推論5: "あの下級生は住み難くないか生易しいかもしくは両方である"が導かれる
7. 推論5と事実4から、仮説が導かれる

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