その知・情・意は右下方向であるということはない
fact1: 「その知・情・意は合わせ持つ一方で起こし易くない」ということは成り立たない fact2: 「あの立て役者は明るいけれど気まずくない」ということは間違っている fact3: もし仮にとある物は置き易くないとすれば「「茶色っぽいし高い」ということは事実である」ということは事実と異なる fact4: 仮に「なにかは茶色っぽくておまけに高い」ということは成り立たないなら茶色っぽいということはない fact5: この新村出は起こし易くない fact6: 仮に「何かはすこくないし書き難くない」ということは誤っているとすればそれは実行し易くない fact7: 仮にあの八溝山系は合わせ持たないとすれば「あの原名は明るいけれど六号線でない」ということは間違っている fact8: その知・情・意は美々しかないなら「あの原名は右下方向だけれどそれは六号線であるということはない」ということは嘘である fact9: もしあの八溝山系が右下方向でないとすれば起こし易い fact10: もしその水切りは実行し易いということはないならば「あの原名は美々しいししかも抗い難い」ということは成り立たない fact11: もし仮にあの八溝山系が合わせ持つし更にそれが晴々しいならば起こし易いということはない fact12: あの八溝山系は晴々しい fact13: もしあの八溝山系は晴々しかないとすれば「その知・情・意は右下方向だし合わせ持つ」ということは誤りだ fact14: もし仮にその老人性痴呆症は茶色っぽいということはないなら「「その水切りはすこくなくてその上書き難くない」ということは事実である」ということは成り立たない fact15: あの八溝山系は黒し fact16: あの八溝山系は晴々しいかもしくは右下方向であるか両方だ fact17: もしあの原名が起こし易くないとしたらあの八溝山系は合わせ持つということはないけど晴々しい fact18: その知・情・意は晴々しかないとすると「あの八溝山系は右下方向であるしさらに起こし易い」ということは成り立たない fact19: もしその知・情・意が美々しいかあるいはそれは起こし易いということはないかあるいは両方だとすると右下方向だ fact20: あの八溝山系はか細い fact21: もしあの八溝山系は晴々しいということはないなら「その知・情・意は合わせ持つし右下方向である」ということは成り立たない fact22: 仮にその知・情・意は合わせ持つか晴々しかないかまたはどちらもだとしたら美々しい fact23: あの八溝山系が起こし易くないならばあの知・情・意は美々しいかそれは起こし易くないかまたはどちらもだ fact24: あの原名は明るいけど六号線でない fact25: もしもあの八溝山系が合わせ持たないが晴々しいとしたらその知・情・意は右下方向でない fact26: 仮にあの原名は起こし易くないとしたら「「その知・情・意は美々しい六号線である」ということは成り立つ」ということは成り立たない
void -> assump1: 以下のように仮定する。あの八溝山系は合わせ持たない; fact7 & assump1 -> int1: 「あの原名は明るいがしかし六号線でない」ということは偽だ; int1 & fact24 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの八溝山系は合わせ持つ; int3 & fact12 -> int4: あの八溝山系は合わせ持つしおまけに晴々しい; int4 & fact11 -> int5: あの八溝山系は起こし易くない; int5 & fact23 -> int6: その知・情・意は美々しいかあるいは起こし易くないかまたは両方ともである; int6 & fact19 -> hypothesis;
「その知・情・意は右下方向でない」ということは成り立つ
fact27 -> int7: もし仮に「その水切りはすこくなくてそれは書き難いということはない」ということは成り立たないならそれは実行し易くない; fact28 -> int8: もしも「その老人性痴呆症は茶色っぽくて高い」ということは誤っているならそれは茶色っぽくない; fact33 -> int9: 仮にその老人性痴呆症は置き易いということはないとしたら「それは茶色っぽいしかつそれは高い」ということは成り立たない;
$facts$ = fact1: 「その知・情・意は合わせ持つ一方で起こし易くない」ということは成り立たない fact2: 「あの立て役者は明るいけれど気まずくない」ということは間違っている fact3: もし仮にとある物は置き易くないとすれば「「茶色っぽいし高い」ということは事実である」ということは事実と異なる fact4: 仮に「なにかは茶色っぽくておまけに高い」ということは成り立たないなら茶色っぽいということはない fact5: この新村出は起こし易くない fact6: 仮に「何かはすこくないし書き難くない」ということは誤っているとすればそれは実行し易くない fact7: 仮にあの八溝山系は合わせ持たないとすれば「あの原名は明るいけれど六号線でない」ということは間違っている fact8: その知・情・意は美々しかないなら「あの原名は右下方向だけれどそれは六号線であるということはない」ということは嘘である fact9: もしあの八溝山系が右下方向でないとすれば起こし易い fact10: もしその水切りは実行し易いということはないならば「あの原名は美々しいししかも抗い難い」ということは成り立たない fact11: もし仮にあの八溝山系が合わせ持つし更にそれが晴々しいならば起こし易いということはない fact12: あの八溝山系は晴々しい fact13: もしあの八溝山系は晴々しかないとすれば「その知・情・意は右下方向だし合わせ持つ」ということは誤りだ fact14: もし仮にその老人性痴呆症は茶色っぽいということはないなら「「その水切りはすこくなくてその上書き難くない」ということは事実である」ということは成り立たない fact15: あの八溝山系は黒し fact16: あの八溝山系は晴々しいかもしくは右下方向であるか両方だ fact17: もしあの原名が起こし易くないとしたらあの八溝山系は合わせ持つということはないけど晴々しい fact18: その知・情・意は晴々しかないとすると「あの八溝山系は右下方向であるしさらに起こし易い」ということは成り立たない fact19: もしその知・情・意が美々しいかあるいはそれは起こし易いということはないかあるいは両方だとすると右下方向だ fact20: あの八溝山系はか細い fact21: もしあの八溝山系は晴々しいということはないなら「その知・情・意は合わせ持つし右下方向である」ということは成り立たない fact22: 仮にその知・情・意は合わせ持つか晴々しかないかまたはどちらもだとしたら美々しい fact23: あの八溝山系が起こし易くないならばあの知・情・意は美々しいかそれは起こし易くないかまたはどちらもだ fact24: あの原名は明るいけど六号線でない fact25: もしもあの八溝山系が合わせ持たないが晴々しいとしたらその知・情・意は右下方向でない fact26: 仮にあの原名は起こし易くないとしたら「「その知・情・意は美々しい六号線である」ということは成り立つ」ということは成り立たない ; $hypothesis$ = その知・情・意は右下方向であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの八溝山系は合わせ持たない; fact7 & assump1 -> int1: 「あの原名は明るいがしかし六号線でない」ということは偽だ; int1 & fact24 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの八溝山系は合わせ持つ; int3 & fact12 -> int4: あの八溝山系は合わせ持つしおまけに晴々しい; int4 & fact11 -> int5: あの八溝山系は起こし易くない; int5 & fact23 -> int6: その知・情・意は美々しいかあるいは起こし易くないかまたは両方ともである; int6 & fact19 -> hypothesis; __DISPROVED__
事実1: 「その知・情・意は合わせ持つ一方で起こし易くない」ということは成り立たない
事実2: 「あの立て役者は明るいけれど気まずくない」ということは間違っている
事実3: もし仮にとある物は置き易くないとすれば「「茶色っぽいし高い」ということは事実である」ということは事実と異なる
事実4: 仮に「なにかは茶色っぽくておまけに高い」ということは成り立たないなら茶色っぽいということはない
事実5: この新村出は起こし易くない
事実6: 仮に「何かはすこくないし書き難くない」ということは誤っているとすればそれは実行し易くない
事実7: 仮にあの八溝山系は合わせ持たないとすれば「あの原名は明るいけれど六号線でない」ということは間違っている
事実8: その知・情・意は美々しかないなら「あの原名は右下方向だけれどそれは六号線であるということはない」ということは嘘である
事実9: もしあの八溝山系が右下方向でないとすれば起こし易い
事実10: もしその水切りは実行し易いということはないならば「あの原名は美々しいししかも抗い難い」ということは成り立たない
事実11: もし仮にあの八溝山系が合わせ持つし更にそれが晴々しいならば起こし易いということはない
事実12: あの八溝山系は晴々しい
事実13: もしあの八溝山系は晴々しかないとすれば「その知・情・意は右下方向だし合わせ持つ」ということは誤りだ
事実14: もし仮にその老人性痴呆症は茶色っぽいということはないなら「「その水切りはすこくなくてその上書き難くない」ということは事実である」ということは成り立たない
事実15: あの八溝山系は黒し
事実16: あの八溝山系は晴々しいかもしくは右下方向であるか両方だ
事実17: もしあの原名が起こし易くないとしたらあの八溝山系は合わせ持つということはないけど晴々しい
事実18: その知・情・意は晴々しかないとすると「あの八溝山系は右下方向であるしさらに起こし易い」ということは成り立たない
事実19: もしその知・情・意が美々しいかあるいはそれは起こし易いということはないかあるいは両方だとすると右下方向だ
事実20: あの八溝山系はか細い
事実21: もしあの八溝山系は晴々しいということはないなら「その知・情・意は合わせ持つし右下方向である」ということは成り立たない
事実22: 仮にその知・情・意は合わせ持つか晴々しかないかまたはどちらもだとしたら美々しい
事実23: あの八溝山系が起こし易くないならばあの知・情・意は美々しいかそれは起こし易くないかまたはどちらもだ
事実24: あの原名は明るいけど六号線でない
事実25: もしもあの八溝山系が合わせ持たないが晴々しいとしたらその知・情・意は右下方向でない
事実26: 仮にあの原名は起こし易くないとしたら「「その知・情・意は美々しい六号線である」ということは成り立つ」ということは成り立たない

仮説: その知・情・意は右下方向であるということはない
1. 仮定1: 以下のように仮定する。あの八溝山系は合わせ持たない
2. 事実7と仮定1から、推論1: "「あの原名は明るいがしかし六号線でない」ということは偽だ"が導かれる
3. 推論1と事実24から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの八溝山系は合わせ持つ"が導かれる
5. 推論3と事実12から、推論4: "あの八溝山系は合わせ持つしおまけに晴々しい"が導かれる
6. 推論4と事実11から、推論5: "あの八溝山系は起こし易くない"が導かれる
7. 推論5と事実23から、推論6: "その知・情・意は美々しいかあるいは起こし易くないかまたは両方ともである"が導かれる
8. 推論6と事実19から、仮説が否定される

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