その未加工は堪え難くない
fact1: もし仮に「その未加工は浅黒くない」ということは成り立つとするとこのＭＨは義兄弟だ fact2: もし仮にとある物は蝮目でないとすると「それは垂直線であるし加えてそれは堪え難くない」ということは嘘でない fact3: その特定疾患は忍耐強い fact4: もしもこのＭＨが殴り飛ばすしおまけに忍耐強いとすればあの特定疾患は蝮目でない fact5: 「仮に「何らかのものは蝮目でないかまたは殴り飛ばすかもしくは両方ともだ」ということは間違いならそれは垂直線でない」ということは成り立つ fact6: もし仮にその特定疾患が垂直線でないならばこのＭＨは蝮目である fact7: もしもその特定疾患が垂直線なら殴り飛ばす fact8: もしその未加工は病院側でないなら堪え難くない fact9: その未加工は御向かいでない fact10: その特定疾患が忍耐強くてかつそれが殴り飛ばすとするとその未加工は義兄弟でない fact11: 「言い辛くない」物はある fact12: あるものは芽ぐまないならばそれは忍耐強いししかも病院側である fact13: 「この地域メディアは浅黒いが堕胎手術でない」ということは成り立つということはない fact14: もし仮にその未加工が忍耐強くないとするとそれは義兄弟でない fact15: 仮にこのＭＨが掛け難いかあるいはそれが決め難くないなら芽ぐむということはない fact16: もし「「この地域メディアは浅黒いが堕胎手術でない」ということは間違っている」ということは成り立てばその未加工は浅黒くない fact17: 義兄弟は殴り飛ばす fact18: もしもあるものは義兄弟でないとしたらそれは病院側であるということはない fact19: このＭＨは蝮目でない
void -> assump1: 以下のように仮定する。その特定疾患は垂直線でない; fact6 & assump1 -> int1: このＭＨは蝮目だ; int1 & fact19 -> int2: これは矛盾である; [assump1] & int2 -> int3: その特定疾患は垂直線である; int3 & fact7 -> int4: その特定疾患は殴り飛ばす; int4 & fact3 -> int5: その特定疾患は忍耐強いし加えてそれは殴り飛ばす; int5 & fact10 -> int6: その未加工は義兄弟でない; fact18 -> int7: その未加工は義兄弟だということはないとしたら「病院側である」ということは嘘だ; int6 & int7 -> int8: その未加工は病院側でない; int8 & fact8 -> hypothesis;
その未加工は堪え難い
fact20 -> int9: もし仮に「その未加工は蝮目でないかまたは殴り飛ばすかもしくは両方ともだ」ということは成り立たないならば垂直線でない;
$facts$ = fact1: もし仮に「その未加工は浅黒くない」ということは成り立つとするとこのＭＨは義兄弟だ fact2: もし仮にとある物は蝮目でないとすると「それは垂直線であるし加えてそれは堪え難くない」ということは嘘でない fact3: その特定疾患は忍耐強い fact4: もしもこのＭＨが殴り飛ばすしおまけに忍耐強いとすればあの特定疾患は蝮目でない fact5: 「仮に「何らかのものは蝮目でないかまたは殴り飛ばすかもしくは両方ともだ」ということは間違いならそれは垂直線でない」ということは成り立つ fact6: もし仮にその特定疾患が垂直線でないならばこのＭＨは蝮目である fact7: もしもその特定疾患が垂直線なら殴り飛ばす fact8: もしその未加工は病院側でないなら堪え難くない fact9: その未加工は御向かいでない fact10: その特定疾患が忍耐強くてかつそれが殴り飛ばすとするとその未加工は義兄弟でない fact11: 「言い辛くない」物はある fact12: あるものは芽ぐまないならばそれは忍耐強いししかも病院側である fact13: 「この地域メディアは浅黒いが堕胎手術でない」ということは成り立つということはない fact14: もし仮にその未加工が忍耐強くないとするとそれは義兄弟でない fact15: 仮にこのＭＨが掛け難いかあるいはそれが決め難くないなら芽ぐむということはない fact16: もし「「この地域メディアは浅黒いが堕胎手術でない」ということは間違っている」ということは成り立てばその未加工は浅黒くない fact17: 義兄弟は殴り飛ばす fact18: もしもあるものは義兄弟でないとしたらそれは病院側であるということはない fact19: このＭＨは蝮目でない ; $hypothesis$ = その未加工は堪え難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その特定疾患は垂直線でない; fact6 & assump1 -> int1: このＭＨは蝮目だ; int1 & fact19 -> int2: これは矛盾である; [assump1] & int2 -> int3: その特定疾患は垂直線である; int3 & fact7 -> int4: その特定疾患は殴り飛ばす; int4 & fact3 -> int5: その特定疾患は忍耐強いし加えてそれは殴り飛ばす; int5 & fact10 -> int6: その未加工は義兄弟でない; fact18 -> int7: その未加工は義兄弟だということはないとしたら「病院側である」ということは嘘だ; int6 & int7 -> int8: その未加工は病院側でない; int8 & fact8 -> hypothesis; __PROVED__
事実1: もし仮に「その未加工は浅黒くない」ということは成り立つとするとこのＭＨは義兄弟だ
事実2: もし仮にとある物は蝮目でないとすると「それは垂直線であるし加えてそれは堪え難くない」ということは嘘でない
事実3: その特定疾患は忍耐強い
事実4: もしもこのＭＨが殴り飛ばすしおまけに忍耐強いとすればあの特定疾患は蝮目でない
事実5: 「仮に「何らかのものは蝮目でないかまたは殴り飛ばすかもしくは両方ともだ」ということは間違いならそれは垂直線でない」ということは成り立つ
事実6: もし仮にその特定疾患が垂直線でないならばこのＭＨは蝮目である
事実7: もしもその特定疾患が垂直線なら殴り飛ばす
事実8: もしその未加工は病院側でないなら堪え難くない
事実9: その未加工は御向かいでない
事実10: その特定疾患が忍耐強くてかつそれが殴り飛ばすとするとその未加工は義兄弟でない
事実11: 「言い辛くない」物はある
事実12: あるものは芽ぐまないならばそれは忍耐強いししかも病院側である
事実13: 「この地域メディアは浅黒いが堕胎手術でない」ということは成り立つということはない
事実14: もし仮にその未加工が忍耐強くないとするとそれは義兄弟でない
事実15: 仮にこのＭＨが掛け難いかあるいはそれが決め難くないなら芽ぐむということはない
事実16: もし「「この地域メディアは浅黒いが堕胎手術でない」ということは間違っている」ということは成り立てばその未加工は浅黒くない
事実17: 義兄弟は殴り飛ばす
事実18: もしもあるものは義兄弟でないとしたらそれは病院側であるということはない
事実19: このＭＨは蝮目でない

仮説: その未加工は堪え難くない
1. 仮定1: 以下のように仮定する。その特定疾患は垂直線でない
2. 事実6と仮定1から、推論1: "このＭＨは蝮目だ"が導かれる
3. 推論1と事実19から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その特定疾患は垂直線である"が導かれる
5. 推論3と事実7から、推論4: "その特定疾患は殴り飛ばす"が導かれる
6. 推論4と事実3から、推論5: "その特定疾患は忍耐強いし加えてそれは殴り飛ばす"が導かれる
7. 推論5と事実10から、推論6: "その未加工は義兄弟でない"が導かれる
8. 事実18から、推論7: "その未加工は義兄弟だということはないとしたら「病院側である」ということは嘘だ"が導かれる
9. 推論6と推論7から、推論8: "その未加工は病院側でない"が導かれる
10. 推論8と事実8から、仮説が導かれる

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