その環境目的・目標は荒っぽいということはない
fact1: 「その環境目的・目標は生易しいということはない」ということは事実だ fact2: もしも生易しいものがあるとしたらその環境目的・目標は酒でない fact3: あの責めが描き易いならば留意事項だ fact4: 快くないか生易しい物はある fact5: もし仮にあの磁場印加が酒だということはないとするとあの死亡推定時刻は生易しいが快くない fact6: あの責めは描き易い fact7: もしもあの責めが留意事項であるが窮乏するということはないなら出易くない fact8: その環境目的・目標は甘ったるい fact9: なにがしかの物は脆いとしたら「酒でないけど荒っぽい」ということは成り立つということはない fact10: その環境目的・目標は脆い fact11: 「快いかあるいは生易しい」ものはある fact12: もし仮に出易くないものが脆いとするとそれは酒だ fact13: もしも「快くないかあるいは生易しいかあるいはどちらもである」ものがあるとしたらその環境目的・目標は酒でない fact14: もしもあの責めが酒であるかあるいはそれが引き難いかもしくはどちらもだとすればあの磁場印加は酒でない
fact4 & fact13 -> int1: その環境目的・目標は酒だということはない; void -> assump1: 以下のように仮定する。その環境目的・目標は荒っぽい; int1 & assump1 -> int2: その環境目的・目標は酒でない一方で荒っぽい; fact9 -> int3: 仮にその環境目的・目標は脆いならば「それは酒でないけれど荒っぽい」ということは誤っている; fact10 & int3 -> int4: 「その環境目的・目標は酒でないけど荒っぽい」ということは成り立たない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
その環境目的・目標は荒っぽい
fact19 -> int6: 仮にあの責めは出易くない一方で脆いとするとそれは酒である; fact20 & fact17 -> int7: あの責めは留意事項だ;
$facts$ = fact1: 「その環境目的・目標は生易しいということはない」ということは事実だ fact2: もしも生易しいものがあるとしたらその環境目的・目標は酒でない fact3: あの責めが描き易いならば留意事項だ fact4: 快くないか生易しい物はある fact5: もし仮にあの磁場印加が酒だということはないとするとあの死亡推定時刻は生易しいが快くない fact6: あの責めは描き易い fact7: もしもあの責めが留意事項であるが窮乏するということはないなら出易くない fact8: その環境目的・目標は甘ったるい fact9: なにがしかの物は脆いとしたら「酒でないけど荒っぽい」ということは成り立つということはない fact10: その環境目的・目標は脆い fact11: 「快いかあるいは生易しい」ものはある fact12: もし仮に出易くないものが脆いとするとそれは酒だ fact13: もしも「快くないかあるいは生易しいかあるいはどちらもである」ものがあるとしたらその環境目的・目標は酒でない fact14: もしもあの責めが酒であるかあるいはそれが引き難いかもしくはどちらもだとすればあの磁場印加は酒でない ; $hypothesis$ = その環境目的・目標は荒っぽいということはない ; $proof$ = 
fact4 & fact13 -> int1: その環境目的・目標は酒だということはない; void -> assump1: 以下のように仮定する。その環境目的・目標は荒っぽい; int1 & assump1 -> int2: その環境目的・目標は酒でない一方で荒っぽい; fact9 -> int3: 仮にその環境目的・目標は脆いならば「それは酒でないけれど荒っぽい」ということは誤っている; fact10 & int3 -> int4: 「その環境目的・目標は酒でないけど荒っぽい」ということは成り立たない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 「その環境目的・目標は生易しいということはない」ということは事実だ
事実2: もしも生易しいものがあるとしたらその環境目的・目標は酒でない
事実3: あの責めが描き易いならば留意事項だ
事実4: 快くないか生易しい物はある
事実5: もし仮にあの磁場印加が酒だということはないとするとあの死亡推定時刻は生易しいが快くない
事実6: あの責めは描き易い
事実7: もしもあの責めが留意事項であるが窮乏するということはないなら出易くない
事実8: その環境目的・目標は甘ったるい
事実9: なにがしかの物は脆いとしたら「酒でないけど荒っぽい」ということは成り立つということはない
事実10: その環境目的・目標は脆い
事実11: 「快いかあるいは生易しい」ものはある
事実12: もし仮に出易くないものが脆いとするとそれは酒だ
事実13: もしも「快くないかあるいは生易しいかあるいはどちらもである」ものがあるとしたらその環境目的・目標は酒でない
事実14: もしもあの責めが酒であるかあるいはそれが引き難いかもしくはどちらもだとすればあの磁場印加は酒でない

仮説: その環境目的・目標は荒っぽいということはない
1. 事実4と事実13から、推論1: "その環境目的・目標は酒だということはない"が導かれる
2. 仮定1: 以下のように仮定する。その環境目的・目標は荒っぽい
3. 推論1と仮定1から、推論2: "その環境目的・目標は酒でない一方で荒っぽい"が導かれる
4. 事実9から、推論3: "仮にその環境目的・目標は脆いならば「それは酒でないけれど荒っぽい」ということは誤っている"が導かれる
5. 事実10と推論3から、推論4: "「その環境目的・目標は酒でないけど荒っぽい」ということは成り立たない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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