仮にあのイノシトールは打ち易くないとすると「その前払い式割賦販売は細型銅剣であるか端書きでない」ということは誤っている
fact1: 仮に「あのイノシトールは打ち易いし理論化する」ということは間違いであるとすればこの含意は打ち易くない fact2: 仮にあのイノシトールは端書きでないとすれば「その前払い式割賦販売は細型銅剣だということはない」ということは成り立つ fact3: あのイノシトールは端書きだということはないなら「その前払い式割賦販売は細型銅剣であるかまたは端書きでない」ということは成り立たない fact4: もしもあのイノシトールは細型銅剣でないとすると「それは打ち易いししかもそれは理論化する」ということは成り立たない fact5: あのイノシトールは端書きでないとすれば「その前払い式割賦販売は細型銅剣であるかもしくは打ち易くないかあるいはどちらもだ」ということは事実と異なる fact6: 仮に「なにかは膵癌であるし更に抗い難い」ということは誤りだとすればそれは細型銅剣でない fact7: 「その前払い式割賦販売は細型銅剣であるか端書きであるかあるいは両方ともである」ということは本当でない fact8: 仮に「その前払い式割賦販売は固くてそれに近似出来る」ということは事実だとしたらあのイノシトールは固くない fact9: その前払い式割賦販売は細型銅剣でない fact10: もし仮に「あのイノシトールは固いということはない」ということは正しいとすると「膵癌だしさらにそれは抗い難い」ということは嘘である fact11: もしあのイノシトールが打ち易くないとしたらその前払い式割賦販売は細型銅剣であるかあるいはそれは端書きであるということはない fact12: もし仮にあのイノシトールは打ち易くないならば「それは端書きでない」ということは事実である fact13: その前払い式割賦販売は細型銅剣であるかまたは端書きでないか両方ともだ fact14: あのイノシトールが端書きでないならその前払い式割賦販売は細型銅剣であるかあるいは端書きでないかあるいは両方である fact15: もしもあのイノシトールが打ち易くないとしたらその前払い式割賦販売は細型銅剣でない fact16: 「あのイノシトールは端書きでない」ということは本当であるとすれば「その前払い式割賦販売は細型銅剣であるかもしくはそれは端書きであるかまたは両方ともだ」ということは事実と異なる fact17: あのイノシトールは打ち易くないとすると「その前払い式割賦販売は細型銅剣であるかあるいは端書きであるか両方ともだ」ということは事実と異なる
void -> assump1: 以下のように仮定する。あのイノシトールは打ち易くない; fact12 & assump1 -> int1: あのイノシトールは端書きでない; int1 & fact3 -> int2: 「その前払い式割賦販売は細型銅剣であるかまたは端書きであるということはない」ということは誤っている; [assump1] & int2 -> hypothesis;
「この含意は傍線部であるかまたは端書きだということはない」ということは誤りである
fact19 -> int3: もしも「あのイノシトールは膵癌でそれに抗い難い」ということは間違っているならそれは細型銅剣でない;
$facts$ = fact1: 仮に「あのイノシトールは打ち易いし理論化する」ということは間違いであるとすればこの含意は打ち易くない fact2: 仮にあのイノシトールは端書きでないとすれば「その前払い式割賦販売は細型銅剣だということはない」ということは成り立つ fact3: あのイノシトールは端書きだということはないなら「その前払い式割賦販売は細型銅剣であるかまたは端書きでない」ということは成り立たない fact4: もしもあのイノシトールは細型銅剣でないとすると「それは打ち易いししかもそれは理論化する」ということは成り立たない fact5: あのイノシトールは端書きでないとすれば「その前払い式割賦販売は細型銅剣であるかもしくは打ち易くないかあるいはどちらもだ」ということは事実と異なる fact6: 仮に「なにかは膵癌であるし更に抗い難い」ということは誤りだとすればそれは細型銅剣でない fact7: 「その前払い式割賦販売は細型銅剣であるか端書きであるかあるいは両方ともである」ということは本当でない fact8: 仮に「その前払い式割賦販売は固くてそれに近似出来る」ということは事実だとしたらあのイノシトールは固くない fact9: その前払い式割賦販売は細型銅剣でない fact10: もし仮に「あのイノシトールは固いということはない」ということは正しいとすると「膵癌だしさらにそれは抗い難い」ということは嘘である fact11: もしあのイノシトールが打ち易くないとしたらその前払い式割賦販売は細型銅剣であるかあるいはそれは端書きであるということはない fact12: もし仮にあのイノシトールは打ち易くないならば「それは端書きでない」ということは事実である fact13: その前払い式割賦販売は細型銅剣であるかまたは端書きでないか両方ともだ fact14: あのイノシトールが端書きでないならその前払い式割賦販売は細型銅剣であるかあるいは端書きでないかあるいは両方である fact15: もしもあのイノシトールが打ち易くないとしたらその前払い式割賦販売は細型銅剣でない fact16: 「あのイノシトールは端書きでない」ということは本当であるとすれば「その前払い式割賦販売は細型銅剣であるかもしくはそれは端書きであるかまたは両方ともだ」ということは事実と異なる fact17: あのイノシトールは打ち易くないとすると「その前払い式割賦販売は細型銅剣であるかあるいは端書きであるか両方ともだ」ということは事実と異なる ; $hypothesis$ = 仮にあのイノシトールは打ち易くないとすると「その前払い式割賦販売は細型銅剣であるか端書きでない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あのイノシトールは打ち易くない; fact12 & assump1 -> int1: あのイノシトールは端書きでない; int1 & fact3 -> int2: 「その前払い式割賦販売は細型銅剣であるかまたは端書きであるということはない」ということは誤っている; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮に「あのイノシトールは打ち易いし理論化する」ということは間違いであるとすればこの含意は打ち易くない
事実2: 仮にあのイノシトールは端書きでないとすれば「その前払い式割賦販売は細型銅剣だということはない」ということは成り立つ
事実3: あのイノシトールは端書きだということはないなら「その前払い式割賦販売は細型銅剣であるかまたは端書きでない」ということは成り立たない
事実4: もしもあのイノシトールは細型銅剣でないとすると「それは打ち易いししかもそれは理論化する」ということは成り立たない
事実5: あのイノシトールは端書きでないとすれば「その前払い式割賦販売は細型銅剣であるかもしくは打ち易くないかあるいはどちらもだ」ということは事実と異なる
事実6: 仮に「なにかは膵癌であるし更に抗い難い」ということは誤りだとすればそれは細型銅剣でない
事実7: 「その前払い式割賦販売は細型銅剣であるか端書きであるかあるいは両方ともである」ということは本当でない
事実8: 仮に「その前払い式割賦販売は固くてそれに近似出来る」ということは事実だとしたらあのイノシトールは固くない
事実9: その前払い式割賦販売は細型銅剣でない
事実10: もし仮に「あのイノシトールは固いということはない」ということは正しいとすると「膵癌だしさらにそれは抗い難い」ということは嘘である
事実11: もしあのイノシトールが打ち易くないとしたらその前払い式割賦販売は細型銅剣であるかあるいはそれは端書きであるということはない
事実12: もし仮にあのイノシトールは打ち易くないならば「それは端書きでない」ということは事実である
事実13: その前払い式割賦販売は細型銅剣であるかまたは端書きでないか両方ともだ
事実14: あのイノシトールが端書きでないならその前払い式割賦販売は細型銅剣であるかあるいは端書きでないかあるいは両方である
事実15: もしもあのイノシトールが打ち易くないとしたらその前払い式割賦販売は細型銅剣でない
事実16: 「あのイノシトールは端書きでない」ということは本当であるとすれば「その前払い式割賦販売は細型銅剣であるかもしくはそれは端書きであるかまたは両方ともだ」ということは事実と異なる
事実17: あのイノシトールは打ち易くないとすると「その前払い式割賦販売は細型銅剣であるかあるいは端書きであるか両方ともだ」ということは事実と異なる

仮説: 仮にあのイノシトールは打ち易くないとすると「その前払い式割賦販売は細型銅剣であるか端書きでない」ということは誤っている
1. 仮定1: 以下のように仮定する。あのイノシトールは打ち易くない
2. 事実12と仮定1から、推論1: "あのイノシトールは端書きでない"が導かれる
3. 推論1と事実3から、推論2: "「その前払い式割賦販売は細型銅剣であるかまたは端書きであるということはない」ということは誤っている"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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