「紫キャベツであるしまた産着な」物はある
fact1: もしもなんらかのものは産着でないならば「それは勝ち易くなくて更にそれは紫キャベツだ」ということは間違いだ fact2: そのレシピ表は言語政策だ一方で昼寝しない fact3: 仮にあの桐一葉が受け入れられ易いならこの大浴場は吐き掛ける fact4: もしあの桐一葉は受け入れられ易くないならば「そのレシピ表は言語政策だがしかし昼寝するということはない」ということは間違っている fact5: この召喚術師が勝ち易いとすればその濃度分布は紫キャベツだ fact6: そのプラネットは謀略でない fact7: もし仮にそのプラネットが謀略であるということはないならばあの濃度分布は産着でまた二千万人だ fact8: 仮にこの大浴場が吐き掛けるとしたらこの召喚術師は勝ち易い
void -> assump1: 以下のように仮定する。「あの桐一葉は受け入れられ易くない」ということは正しい; fact4 & assump1 -> int1: 「そのレシピ表は言語政策である一方で昼寝するということはない」ということは間違いだ; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの桐一葉は受け入れられ易い; int3 & fact3 -> int4: この大浴場は吐き掛ける; int4 & fact8 -> int5: この召喚術師は勝ち易い; int5 & fact5 -> int6: その濃度分布は紫キャベツだ; fact6 & fact7 -> int7: その濃度分布は産着で加えてそれは二千万人だ; int7 -> int8: その濃度分布は産着である; int6 & int8 -> int9: その濃度分布は紫キャベツであるししかも産着だ; int9 -> hypothesis;
この召喚術師は受け入れられ易い
fact9 -> int10: この大浴場は産着でないとしたら「勝ち易くないが紫キャベツである」ということは成り立たない;
$facts$ = fact1: もしもなんらかのものは産着でないならば「それは勝ち易くなくて更にそれは紫キャベツだ」ということは間違いだ fact2: そのレシピ表は言語政策だ一方で昼寝しない fact3: 仮にあの桐一葉が受け入れられ易いならこの大浴場は吐き掛ける fact4: もしあの桐一葉は受け入れられ易くないならば「そのレシピ表は言語政策だがしかし昼寝するということはない」ということは間違っている fact5: この召喚術師が勝ち易いとすればその濃度分布は紫キャベツだ fact6: そのプラネットは謀略でない fact7: もし仮にそのプラネットが謀略であるということはないならばあの濃度分布は産着でまた二千万人だ fact8: 仮にこの大浴場が吐き掛けるとしたらこの召喚術師は勝ち易い ; $hypothesis$ = 「紫キャベツであるしまた産着な」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの桐一葉は受け入れられ易くない」ということは正しい; fact4 & assump1 -> int1: 「そのレシピ表は言語政策である一方で昼寝するということはない」ということは間違いだ; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの桐一葉は受け入れられ易い; int3 & fact3 -> int4: この大浴場は吐き掛ける; int4 & fact8 -> int5: この召喚術師は勝ち易い; int5 & fact5 -> int6: その濃度分布は紫キャベツだ; fact6 & fact7 -> int7: その濃度分布は産着で加えてそれは二千万人だ; int7 -> int8: その濃度分布は産着である; int6 & int8 -> int9: その濃度分布は紫キャベツであるししかも産着だ; int9 -> hypothesis; __PROVED__
事実1: もしもなんらかのものは産着でないならば「それは勝ち易くなくて更にそれは紫キャベツだ」ということは間違いだ
事実2: そのレシピ表は言語政策だ一方で昼寝しない
事実3: 仮にあの桐一葉が受け入れられ易いならこの大浴場は吐き掛ける
事実4: もしあの桐一葉は受け入れられ易くないならば「そのレシピ表は言語政策だがしかし昼寝するということはない」ということは間違っている
事実5: この召喚術師が勝ち易いとすればその濃度分布は紫キャベツだ
事実6: そのプラネットは謀略でない
事実7: もし仮にそのプラネットが謀略であるということはないならばあの濃度分布は産着でまた二千万人だ
事実8: 仮にこの大浴場が吐き掛けるとしたらこの召喚術師は勝ち易い

仮説: 「紫キャベツであるしまた産着な」物はある
1. 仮定1: 以下のように仮定する。「あの桐一葉は受け入れられ易くない」ということは正しい
2. 事実4と仮定1から、推論1: "「そのレシピ表は言語政策である一方で昼寝するということはない」ということは間違いだ"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの桐一葉は受け入れられ易い"が導かれる
5. 推論3と事実3から、推論4: "この大浴場は吐き掛ける"が導かれる
6. 推論4と事実8から、推論5: "この召喚術師は勝ち易い"が導かれる
7. 推論5と事実5から、推論6: "その濃度分布は紫キャベツだ"が導かれる
8. 事実6と事実7から、推論7: "その濃度分布は産着で加えてそれは二千万人だ"が導かれる
9. 推論7から、推論8: "その濃度分布は産着である"が導かれる
10. 推論6と推論8から、推論9: "その濃度分布は紫キャベツであるししかも産着だ"が導かれる
11. 推論9から、仮説が導かれる

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