「あの装身は参加し易くない」ということは本当である
fact1: 仮にその九Ｃは戴冠するとしたら「あの装身は開き易いが出府しない」ということは成り立たない fact2: 「もしも「なんらかのものは申し候わない一方で生き易い」ということは事実であるということはないとすると参加し易い」ということは本当である fact3: 「あの装身は開き易いがしかし出府しない」ということは成り立たない fact4: 「なにがしかの物は生き易いということはないしそれは申し候うということはない」ということは嘘であるとすればそれは戴冠する fact5: もしその九Ｃは戴冠するとしたら「あの装身が開き易いということはないしその上出府しない」ということは誤りである fact6: その九Ｃは申し候う fact7: もし仮になにかは読み違えないとするとそれは戴冠するということはないしさらに開き易くない fact8: もし「なにかは開き易くないしそれは出府するということはない」ということは間違っていれば参加し易くない fact9: もし仮になにかは開き易いとすればそれは参加し易くない fact10: あのリトルトン植民地相は堅苦しい fact11: あるものはスイス人であるとすれば「高圧空気でないかもしくはそれは東南東である」ということは事実と異なる fact12: あの装身が開き易いならばそれは参加し易くない fact13: 仮に「その九Ｃは戴冠しない」ということは成り立つとすると「あの装身は申し候うということはないけどそれは生き易い」ということは成り立たない fact14: もしもあのリトルトン植民地相が堅苦しいとしたらあの御礼メールはベトナム軍である fact15: 仮に「あの御礼メールは高圧空気でないかあるいはそれは東南東であるかまたは両方だ」ということは嘘であるならこの見学は文通しない fact16: ベトナム軍はスイス人だ fact17: 仮にその九Ｃが生き易いとしたらそれは戴冠する fact18: 聞き辛い物は読み違えない fact19: 「その九Ｃは生き易いがそれは申し候うということはない」ということは事実でない fact20: もし仮に何かは文通しないとするとそれはプッシュするし加えて聞き辛い fact21: 生き易いものは戴冠する fact22: あの制癌剤は申し候う
void -> assump1: 以下のように仮定する。その九Ｃは生き易くないし申し候わない; assump1 -> int1: その九Ｃは申し候わない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その九Ｃは生き易いということはなくて加えて申し候わない」ということは成り立たない; fact4 -> int4: もし仮に「「その九Ｃは生き易いということはないししかも申し候わない」ということは成り立つ」ということは間違っているとすれば戴冠する; int3 & int4 -> int5: その九Ｃは戴冠する; int5 & fact5 -> int6: 「あの装身は開き易くなくてかつ出府しない」ということは成り立つということはない; fact8 -> int7: 「「「あの装身は開き易いということはないし出府しない」ということは間違いだということはない」ということは成り立たない」ということは成り立つとしたらそれは参加し易くない; int6 & int7 -> hypothesis;
あの装身は参加し易い
fact26 -> int8: もし「あの装身は申し候わないが生き易い」ということは間違いなら「それは参加し易い」ということは本当である; fact32 -> int9: 仮に「この見学は読み違えない」ということは事実であるならばそれは戴冠しなくて開き易くない; fact29 -> int10: もしこの見学が聞き辛いとしたらそれは読み違えない; fact23 -> int11: 仮にこの見学が文通しないならばそれはプッシュするしおまけにそれは聞き辛い; fact28 -> int12: 仮にあの御礼メールはスイス人だとすれば「それは高圧空気でないかもしくは東南東であるかあるいはどちらもだ」ということは間違っている; fact24 -> int13: あの御礼メールはベトナム軍だとしたら「スイス人だ」ということは正しい; fact25 & fact27 -> int14: あの御礼メールはベトナム軍である; int13 & int14 -> int15: 「あの御礼メールはスイス人だ」ということは真実である; int12 & int15 -> int16: 「あの御礼メールは高圧空気だということはないかまたは東南東であるかまたはどちらもだ」ということは成り立たない; fact30 & int16 -> int17: この見学は文通しない; int11 & int17 -> int18: この見学はプッシュするし加えて聞き辛い; int18 -> int19: この見学は聞き辛い; int10 & int19 -> int20: この見学は読み違えない; int9 & int20 -> int21: この見学は戴冠するということはないしそれに開き易いということはない; int21 -> int22: この見学は戴冠しない; int22 -> int23: この見学は戴冠するということはないかもしくは出府しないかあるいはどちらもである; int23 -> int24: 「戴冠するということはないかまたは出府しないかあるいはどちらもな」物はある;
$facts$ = fact1: 仮にその九Ｃは戴冠するとしたら「あの装身は開き易いが出府しない」ということは成り立たない fact2: 「もしも「なんらかのものは申し候わない一方で生き易い」ということは事実であるということはないとすると参加し易い」ということは本当である fact3: 「あの装身は開き易いがしかし出府しない」ということは成り立たない fact4: 「なにがしかの物は生き易いということはないしそれは申し候うということはない」ということは嘘であるとすればそれは戴冠する fact5: もしその九Ｃは戴冠するとしたら「あの装身が開き易いということはないしその上出府しない」ということは誤りである fact6: その九Ｃは申し候う fact7: もし仮になにかは読み違えないとするとそれは戴冠するということはないしさらに開き易くない fact8: もし「なにかは開き易くないしそれは出府するということはない」ということは間違っていれば参加し易くない fact9: もし仮になにかは開き易いとすればそれは参加し易くない fact10: あのリトルトン植民地相は堅苦しい fact11: あるものはスイス人であるとすれば「高圧空気でないかもしくはそれは東南東である」ということは事実と異なる fact12: あの装身が開き易いならばそれは参加し易くない fact13: 仮に「その九Ｃは戴冠しない」ということは成り立つとすると「あの装身は申し候うということはないけどそれは生き易い」ということは成り立たない fact14: もしもあのリトルトン植民地相が堅苦しいとしたらあの御礼メールはベトナム軍である fact15: 仮に「あの御礼メールは高圧空気でないかあるいはそれは東南東であるかまたは両方だ」ということは嘘であるならこの見学は文通しない fact16: ベトナム軍はスイス人だ fact17: 仮にその九Ｃが生き易いとしたらそれは戴冠する fact18: 聞き辛い物は読み違えない fact19: 「その九Ｃは生き易いがそれは申し候うということはない」ということは事実でない fact20: もし仮に何かは文通しないとするとそれはプッシュするし加えて聞き辛い fact21: 生き易いものは戴冠する fact22: あの制癌剤は申し候う ; $hypothesis$ = 「あの装身は参加し易くない」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。その九Ｃは生き易くないし申し候わない; assump1 -> int1: その九Ｃは申し候わない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その九Ｃは生き易いということはなくて加えて申し候わない」ということは成り立たない; fact4 -> int4: もし仮に「「その九Ｃは生き易いということはないししかも申し候わない」ということは成り立つ」ということは間違っているとすれば戴冠する; int3 & int4 -> int5: その九Ｃは戴冠する; int5 & fact5 -> int6: 「あの装身は開き易くなくてかつ出府しない」ということは成り立つということはない; fact8 -> int7: 「「「あの装身は開き易いということはないし出府しない」ということは間違いだということはない」ということは成り立たない」ということは成り立つとしたらそれは参加し易くない; int6 & int7 -> hypothesis; __PROVED__
事実1: 仮にその九Ｃは戴冠するとしたら「あの装身は開き易いが出府しない」ということは成り立たない
事実2: 「もしも「なんらかのものは申し候わない一方で生き易い」ということは事実であるということはないとすると参加し易い」ということは本当である
事実3: 「あの装身は開き易いがしかし出府しない」ということは成り立たない
事実4: 「なにがしかの物は生き易いということはないしそれは申し候うということはない」ということは嘘であるとすればそれは戴冠する
事実5: もしその九Ｃは戴冠するとしたら「あの装身が開き易いということはないしその上出府しない」ということは誤りである
事実6: その九Ｃは申し候う
事実7: もし仮になにかは読み違えないとするとそれは戴冠するということはないしさらに開き易くない
事実8: もし「なにかは開き易くないしそれは出府するということはない」ということは間違っていれば参加し易くない
事実9: もし仮になにかは開き易いとすればそれは参加し易くない
事実10: あのリトルトン植民地相は堅苦しい
事実11: あるものはスイス人であるとすれば「高圧空気でないかもしくはそれは東南東である」ということは事実と異なる
事実12: あの装身が開き易いならばそれは参加し易くない
事実13: 仮に「その九Ｃは戴冠しない」ということは成り立つとすると「あの装身は申し候うということはないけどそれは生き易い」ということは成り立たない
事実14: もしもあのリトルトン植民地相が堅苦しいとしたらあの御礼メールはベトナム軍である
事実15: 仮に「あの御礼メールは高圧空気でないかあるいはそれは東南東であるかまたは両方だ」ということは嘘であるならこの見学は文通しない
事実16: ベトナム軍はスイス人だ
事実17: 仮にその九Ｃが生き易いとしたらそれは戴冠する
事実18: 聞き辛い物は読み違えない
事実19: 「その九Ｃは生き易いがそれは申し候うということはない」ということは事実でない
事実20: もし仮に何かは文通しないとするとそれはプッシュするし加えて聞き辛い
事実21: 生き易いものは戴冠する
事実22: あの制癌剤は申し候う

仮説: 「あの装身は参加し易くない」ということは本当である
1. 仮定1: 以下のように仮定する。その九Ｃは生き易くないし申し候わない
2. 仮定1から、推論1: "その九Ｃは申し候わない"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その九Ｃは生き易いということはなくて加えて申し候わない」ということは成り立たない"が導かれる
5. 事実4から、推論4: "もし仮に「「その九Ｃは生き易いということはないししかも申し候わない」ということは成り立つ」ということは間違っているとすれば戴冠する"が導かれる
6. 推論3と推論4から、推論5: "その九Ｃは戴冠する"が導かれる
7. 推論5と事実5から、推論6: "「あの装身は開き易くなくてかつ出府しない」ということは成り立つということはない"が導かれる
8. 事実8から、推論7: "「「「あの装身は開き易いということはないし出府しない」ということは間違いだということはない」ということは成り立たない」ということは成り立つとしたらそれは参加し易くない"が導かれる
9. 推論6と推論7から、仮説が導かれる

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