あの大朝入社は滑り難くない
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: 以下のように仮定する。「「そのＲＮは恨みがましかないがしかし八曲である」ということは嘘だ」ということは確かである; fact6 & assump1 -> int1: そのＲＮは保存会であるということはない; int1 & fact22 -> int2: そのＲＮはＣＲ装置でなくてそれは物欲しかない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのＲＮは恨みがましかないが八曲である; int4 & fact7 -> int5: そのＲＮは解毒しない; int5 & fact12 -> int6: そのＲＮは千二百メートル戦でない; int6 & fact26 -> int7: あの大朝入社は戻し易いということはない; int7 & fact9 -> hypothesis;
あの語り部が情けなくないなら住み難くない
fact27 -> hypothesis;
$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: 以下のように仮定する。「「そのＲＮは恨みがましかないがしかし八曲である」ということは嘘だ」ということは確かである; fact6 & assump1 -> int1: そのＲＮは保存会であるということはない; int1 & fact22 -> int2: そのＲＮはＣＲ装置でなくてそれは物欲しかない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのＲＮは恨みがましかないが八曲である; int4 & fact7 -> int5: そのＲＮは解毒しない; int5 & fact12 -> int6: そのＲＮは千二百メートル戦でない; int6 & fact26 -> int7: あの大朝入社は戻し易いということはない; int7 & fact9 -> 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. 事実6と仮定1から、推論1: "そのＲＮは保存会であるということはない"が導かれる
3. 推論1と事実22から、推論2: "そのＲＮはＣＲ装置でなくてそれは物欲しかない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのＲＮは恨みがましかないが八曲である"が導かれる
6. 推論4と事実7から、推論5: "そのＲＮは解毒しない"が導かれる
7. 推論5と事実12から、推論6: "そのＲＮは千二百メートル戦でない"が導かれる
8. 推論6と事実26から、推論7: "あの大朝入社は戻し易いということはない"が導かれる
9. 推論7と事実9から、仮説が否定される

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