あの道路交通上はリップだ
fact1: あの道路交通上が迷い易いとするとこの十歳未満は迷い易い fact2: あの道路交通上はでっかくて迷い易い fact3: 迷い易くない物はリップであるしおまけにでっかい fact4: でっかい物はリップだということはない fact5: 「この顕密仏教はリップでない」ということは成り立つ fact6: 仮に何らかの物が心苦しいかあるいはそれが辿らないならそれは心苦しい fact7: 「このＣＯＮＦエントリ書式は辿る」ということは事実だとしたら「あの最高闘争委員会は受け易くない」ということは成り立たない fact8: あの最高闘争委員会は熱現像でない fact9: もし何かは匂い立たないならば「それは大人しくないしかつそれは受け易い」ということは成り立たない fact10: もしもあの道路交通上が心苦しいとすればこの十歳未満は迷い易い fact11: 「あの道路交通上は迷い易い」ということは正しい fact12: 仮に「このＣＯＮＦエントリ書式は泣き始めなくてまた共存し得ない」ということは成り立たないとすると匂い立たない fact13: このＣＯＮＦエントリ書式は大人しいということはないけど辿る fact14: 仮に迷い易い物はでっかくないとしたら「それはリップである」ということは本当だ fact15: あの二十代半ばは迷い易い fact16: もし仮に「心苦しい」物があるとしたらあの道路交通上は心苦しいかそれは迷い易いか両方ともである fact17: 仮にあの最高闘争委員会が熱現像でないとするとそれは心苦しいか辿らない
fact2 -> int1: あの道路交通上はでっかい; fact4 -> int2: 「あの道路交通上はでっかい」ということは成り立つとするとリップでない; int1 & int2 -> hypothesis;
あの道路交通上はリップである
fact19 -> int3: もしもあの道路交通上が迷い易くないとすればリップであるし更にでっかい; fact20 -> int4: このＣＯＮＦエントリ書式は辿る; fact18 & int4 -> int5: あの最高闘争委員会は受け易い; int5 -> int6: なにかは受け易い;
$facts$ = fact1: あの道路交通上が迷い易いとするとこの十歳未満は迷い易い fact2: あの道路交通上はでっかくて迷い易い fact3: 迷い易くない物はリップであるしおまけにでっかい fact4: でっかい物はリップだということはない fact5: 「この顕密仏教はリップでない」ということは成り立つ fact6: 仮に何らかの物が心苦しいかあるいはそれが辿らないならそれは心苦しい fact7: 「このＣＯＮＦエントリ書式は辿る」ということは事実だとしたら「あの最高闘争委員会は受け易くない」ということは成り立たない fact8: あの最高闘争委員会は熱現像でない fact9: もし何かは匂い立たないならば「それは大人しくないしかつそれは受け易い」ということは成り立たない fact10: もしもあの道路交通上が心苦しいとすればこの十歳未満は迷い易い fact11: 「あの道路交通上は迷い易い」ということは正しい fact12: 仮に「このＣＯＮＦエントリ書式は泣き始めなくてまた共存し得ない」ということは成り立たないとすると匂い立たない fact13: このＣＯＮＦエントリ書式は大人しいということはないけど辿る fact14: 仮に迷い易い物はでっかくないとしたら「それはリップである」ということは本当だ fact15: あの二十代半ばは迷い易い fact16: もし仮に「心苦しい」物があるとしたらあの道路交通上は心苦しいかそれは迷い易いか両方ともである fact17: 仮にあの最高闘争委員会が熱現像でないとするとそれは心苦しいか辿らない ; $hypothesis$ = あの道路交通上はリップだ ; $proof$ = 
fact2 -> int1: あの道路交通上はでっかい; fact4 -> int2: 「あの道路交通上はでっかい」ということは成り立つとするとリップでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの道路交通上が迷い易いとするとこの十歳未満は迷い易い
事実2: あの道路交通上はでっかくて迷い易い
事実3: 迷い易くない物はリップであるしおまけにでっかい
事実4: でっかい物はリップだということはない
事実5: 「この顕密仏教はリップでない」ということは成り立つ
事実6: 仮に何らかの物が心苦しいかあるいはそれが辿らないならそれは心苦しい
事実7: 「このＣＯＮＦエントリ書式は辿る」ということは事実だとしたら「あの最高闘争委員会は受け易くない」ということは成り立たない
事実8: あの最高闘争委員会は熱現像でない
事実9: もし何かは匂い立たないならば「それは大人しくないしかつそれは受け易い」ということは成り立たない
事実10: もしもあの道路交通上が心苦しいとすればこの十歳未満は迷い易い
事実11: 「あの道路交通上は迷い易い」ということは正しい
事実12: 仮に「このＣＯＮＦエントリ書式は泣き始めなくてまた共存し得ない」ということは成り立たないとすると匂い立たない
事実13: このＣＯＮＦエントリ書式は大人しいということはないけど辿る
事実14: 仮に迷い易い物はでっかくないとしたら「それはリップである」ということは本当だ
事実15: あの二十代半ばは迷い易い
事実16: もし仮に「心苦しい」物があるとしたらあの道路交通上は心苦しいかそれは迷い易いか両方ともである
事実17: 仮にあの最高闘争委員会が熱現像でないとするとそれは心苦しいか辿らない

仮説: あの道路交通上はリップだ
1. 事実2から、推論1: "あの道路交通上はでっかい"が導かれる
2. 事実4から、推論2: "「あの道路交通上はでっかい」ということは成り立つとするとリップでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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