このクロシャールは木賊であるかそれは粗い
fact1: もし何かは無重力でないとしたらそれが近付き過ぎるしその上幹部等だ fact2: もし仮にこの麻酔医は柔らかいとすると「外形標準課税でなくておまけにそれは誘発目地だ」ということは偽である fact3: もし「とある物は柔らかくてそれに近付き過ぎる」ということは事実でないとするとそれは柔らかくない fact4: 「このクロシャールは外形標準課税である」ということは成り立つ fact5: このクロシャールは柔らかいかもしくはそれは粗いかあるいはどちらもだ fact6: もし仮に何かは柔らかくないなら「「それは木賊であるかあるいは粗いかもしくは両方ともだ」ということは真実である」ということは事実でない fact7: もし仮にこの麻酔医は柔らかくないとすると「このクロシャールは木賊であるかもしくは粗いか両方ともだ」ということは偽である fact8: 仮に何かは無重力であるということはないとすると幹部等でないしかつ再発し易くない fact9: もしも「「この麻酔医は木賊でないけれど近付き過ぎる」ということは事実と異なる」ということは本当だとしたらその公案は木賊でない fact10: もし仮に「「この麻酔医は外形標準課税だということはないがしかし誘発目地である」ということは嘘だ」ということは真実ならばこのクロシャールは粗い fact11: もし「この契約家庭は馴染み易くない」ということは成り立つとすれば感じ難くないしそれは無重力でない fact12: 再発し易い物は無重力でない fact13: もしこのクロシャールは外形標準課税だとすれば「それは柔らかくないけど木賊である」ということは成り立つということはない fact14: このクロシャールは粗いか外形標準課税であるかどちらもだ fact15: このクロシャールは柔らかい fact16: この麻酔医は柔らかい fact17: このクロシャールは外形標準課税であるかそれは粗いか両方だ fact18: もし仮にこの契約家庭が幹部等でなくてかつそれが再発し易いということはないとしたらこの麻酔医は幹部等でない fact19: もし「このクロシャールは柔らかくないが粗い」ということは偽だとすればこの麻酔医は誘発目地だ fact20: このクロシャールは外形標準課税であるならば「木賊でないが粗い」ということは偽だ fact21: もしもこの麻酔医が近付き過ぎるしそれが幹部等であるとするとこのクロシャールは柔らかくない fact22: もし「このクロシャールは粗くないがしかし外形標準課税だ」ということは正しくないとすればこの麻酔医は木賊だ fact23: もしこの麻酔医が誘発目地でないならばこのクロシャールは粗い
fact2 & fact16 -> int1: 「「この麻酔医は外形標準課税でない一方でそれは誘発目地である」ということは成り立つ」ということは成り立たない; int1 & fact10 -> int2: このクロシャールは粗い; int2 -> hypothesis;
fact2 & fact16 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact10 -> int2: {B}{b}; int2 -> hypothesis;
「このクロシャールは木賊であるかもしくは粗い」ということは誤りだ
fact25 -> int3: もし仮にこのクロシャールは柔らかくないとすると「それは木賊であるかまたは粗い」ということは成り立たない; fact27 -> int4: もしもこの麻酔医が無重力でないならそれは近付き過ぎるしそれは幹部等だ; fact26 -> int5: もし仮にこの麻酔医が再発し易いとすればそれは無重力でない;
$facts$ = fact1: もし何かは無重力でないとしたらそれが近付き過ぎるしその上幹部等だ fact2: もし仮にこの麻酔医は柔らかいとすると「外形標準課税でなくておまけにそれは誘発目地だ」ということは偽である fact3: もし「とある物は柔らかくてそれに近付き過ぎる」ということは事実でないとするとそれは柔らかくない fact4: 「このクロシャールは外形標準課税である」ということは成り立つ fact5: このクロシャールは柔らかいかもしくはそれは粗いかあるいはどちらもだ fact6: もし仮に何かは柔らかくないなら「「それは木賊であるかあるいは粗いかもしくは両方ともだ」ということは真実である」ということは事実でない fact7: もし仮にこの麻酔医は柔らかくないとすると「このクロシャールは木賊であるかもしくは粗いか両方ともだ」ということは偽である fact8: 仮に何かは無重力であるということはないとすると幹部等でないしかつ再発し易くない fact9: もしも「「この麻酔医は木賊でないけれど近付き過ぎる」ということは事実と異なる」ということは本当だとしたらその公案は木賊でない fact10: もし仮に「「この麻酔医は外形標準課税だということはないがしかし誘発目地である」ということは嘘だ」ということは真実ならばこのクロシャールは粗い fact11: もし「この契約家庭は馴染み易くない」ということは成り立つとすれば感じ難くないしそれは無重力でない fact12: 再発し易い物は無重力でない fact13: もしこのクロシャールは外形標準課税だとすれば「それは柔らかくないけど木賊である」ということは成り立つということはない fact14: このクロシャールは粗いか外形標準課税であるかどちらもだ fact15: このクロシャールは柔らかい fact16: この麻酔医は柔らかい fact17: このクロシャールは外形標準課税であるかそれは粗いか両方だ fact18: もし仮にこの契約家庭が幹部等でなくてかつそれが再発し易いということはないとしたらこの麻酔医は幹部等でない fact19: もし「このクロシャールは柔らかくないが粗い」ということは偽だとすればこの麻酔医は誘発目地だ fact20: このクロシャールは外形標準課税であるならば「木賊でないが粗い」ということは偽だ fact21: もしもこの麻酔医が近付き過ぎるしそれが幹部等であるとするとこのクロシャールは柔らかくない fact22: もし「このクロシャールは粗くないがしかし外形標準課税だ」ということは正しくないとすればこの麻酔医は木賊だ fact23: もしこの麻酔医が誘発目地でないならばこのクロシャールは粗い ; $hypothesis$ = このクロシャールは木賊であるかそれは粗い ; $proof$ = 
fact2 & fact16 -> int1: 「「この麻酔医は外形標準課税でない一方でそれは誘発目地である」ということは成り立つ」ということは成り立たない; int1 & fact10 -> int2: このクロシャールは粗い; int2 -> hypothesis; __PROVED__
事実1: もし何かは無重力でないとしたらそれが近付き過ぎるしその上幹部等だ
事実2: もし仮にこの麻酔医は柔らかいとすると「外形標準課税でなくておまけにそれは誘発目地だ」ということは偽である
事実3: もし「とある物は柔らかくてそれに近付き過ぎる」ということは事実でないとするとそれは柔らかくない
事実4: 「このクロシャールは外形標準課税である」ということは成り立つ
事実5: このクロシャールは柔らかいかもしくはそれは粗いかあるいはどちらもだ
事実6: もし仮に何かは柔らかくないなら「「それは木賊であるかあるいは粗いかもしくは両方ともだ」ということは真実である」ということは事実でない
事実7: もし仮にこの麻酔医は柔らかくないとすると「このクロシャールは木賊であるかもしくは粗いか両方ともだ」ということは偽である
事実8: 仮に何かは無重力であるということはないとすると幹部等でないしかつ再発し易くない
事実9: もしも「「この麻酔医は木賊でないけれど近付き過ぎる」ということは事実と異なる」ということは本当だとしたらその公案は木賊でない
事実10: もし仮に「「この麻酔医は外形標準課税だということはないがしかし誘発目地である」ということは嘘だ」ということは真実ならばこのクロシャールは粗い
事実11: もし「この契約家庭は馴染み易くない」ということは成り立つとすれば感じ難くないしそれは無重力でない
事実12: 再発し易い物は無重力でない
事実13: もしこのクロシャールは外形標準課税だとすれば「それは柔らかくないけど木賊である」ということは成り立つということはない
事実14: このクロシャールは粗いか外形標準課税であるかどちらもだ
事実15: このクロシャールは柔らかい
事実16: この麻酔医は柔らかい
事実17: このクロシャールは外形標準課税であるかそれは粗いか両方だ
事実18: もし仮にこの契約家庭が幹部等でなくてかつそれが再発し易いということはないとしたらこの麻酔医は幹部等でない
事実19: もし「このクロシャールは柔らかくないが粗い」ということは偽だとすればこの麻酔医は誘発目地だ
事実20: このクロシャールは外形標準課税であるならば「木賊でないが粗い」ということは偽だ
事実21: もしもこの麻酔医が近付き過ぎるしそれが幹部等であるとするとこのクロシャールは柔らかくない
事実22: もし「このクロシャールは粗くないがしかし外形標準課税だ」ということは正しくないとすればこの麻酔医は木賊だ
事実23: もしこの麻酔医が誘発目地でないならばこのクロシャールは粗い

仮説: このクロシャールは木賊であるかそれは粗い
1. 事実2と事実16から、推論1: "「「この麻酔医は外形標準課税でない一方でそれは誘発目地である」ということは成り立つ」ということは成り立たない"が導かれる
2. 推論1と事実10から、推論2: "このクロシャールは粗い"が導かれる
3. 推論2から、仮説が導かれる

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