この資本コストは出易いということはない
fact1: 「あの箕直しは大人でないけれど出易い」ということは成り立たない fact2: 仮にあの箕直しが大人でないならこの資本コストは大人である fact3: あの鶏は歯肉である fact4: 仮に「この資本コストは歯肉でない」ということは成り立てば大人でない fact5: あの箕直しは掛かり易い fact6: そのギャラリーは出易くない fact7: もしこの資本コストが出易くないならばそれは大人でない fact8: その左上部は歯肉だ fact9: 「あの箕直しは歯肉であるということはないがしかし大人である」ということは成り立たない fact10: もしもあの箕直しは大人でないならば「それは出易くない」ということは正しい fact11: この資本コストはカリスマ的リーダーシップでない fact12: もし「あの箕直しは歯肉でないけれど大人だ」ということは嘘だとしたらこの資本コストは大人だ
void -> assump1: 以下のように仮定する。「この資本コストは出易くない」ということは誤っているということはない; fact7 & assump1 -> int1: この資本コストは大人でない; fact12 & fact9 -> int2: この資本コストは大人である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact7 & assump1 -> int1: ¬{B}{a}; fact12 & fact9 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「あの箕直しは大人でないけれど出易い」ということは成り立たない fact2: 仮にあの箕直しが大人でないならこの資本コストは大人である fact3: あの鶏は歯肉である fact4: 仮に「この資本コストは歯肉でない」ということは成り立てば大人でない fact5: あの箕直しは掛かり易い fact6: そのギャラリーは出易くない fact7: もしこの資本コストが出易くないならばそれは大人でない fact8: その左上部は歯肉だ fact9: 「あの箕直しは歯肉であるということはないがしかし大人である」ということは成り立たない fact10: もしもあの箕直しは大人でないならば「それは出易くない」ということは正しい fact11: この資本コストはカリスマ的リーダーシップでない fact12: もし「あの箕直しは歯肉でないけれど大人だ」ということは嘘だとしたらこの資本コストは大人だ ; $hypothesis$ = この資本コストは出易いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この資本コストは出易くない」ということは誤っているということはない; fact7 & assump1 -> int1: この資本コストは大人でない; fact12 & fact9 -> int2: この資本コストは大人である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「あの箕直しは大人でないけれど出易い」ということは成り立たない
事実2: 仮にあの箕直しが大人でないならこの資本コストは大人である
事実3: あの鶏は歯肉である
事実4: 仮に「この資本コストは歯肉でない」ということは成り立てば大人でない
事実5: あの箕直しは掛かり易い
事実6: そのギャラリーは出易くない
事実7: もしこの資本コストが出易くないならばそれは大人でない
事実8: その左上部は歯肉だ
事実9: 「あの箕直しは歯肉であるということはないがしかし大人である」ということは成り立たない
事実10: もしもあの箕直しは大人でないならば「それは出易くない」ということは正しい
事実11: この資本コストはカリスマ的リーダーシップでない
事実12: もし「あの箕直しは歯肉でないけれど大人だ」ということは嘘だとしたらこの資本コストは大人だ

仮説: この資本コストは出易いということはない
1. 仮定1: 以下のように仮定する。「この資本コストは出易くない」ということは誤っているということはない
2. 事実7と仮定1から、推論1: "この資本コストは大人でない"が導かれる
3. 事実12と事実9から、推論2: "この資本コストは大人である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。