この直轄地は敷く
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: もしもその被差別民が少なくないけれどすんごいならばそれは一分派でない
fact7 & fact10 -> int1: その被差別民は一分派でそれは相成る; int1 & fact6 -> int2: この折衝は尽くし難くない; int2 & fact8 -> int3: その日永は少なくなくてそれに陥り易くない; int3 & fact15 -> int4: 「あのカナダ兵はすんごくない」ということは確かだ; int4 & fact20 -> int5: この直轄地は静注用でないししかもすんごくない; int5 & fact11 -> hypothesis;
この直轄地は敷く
fact34 -> int6: もし仮にこの直轄地は一分派であるなら敷く; fact36 -> int7: この直轄地が相成らないしまた尽くし難くないとしたらそれは一分派だ; fact32 -> int8: もしもこの直轄地が少ないとしたらそれは相成らないしかつ尽くし難くない; fact33 -> int9: 仮にこの折衝が社会的影響計算書ならば駆け戻る; fact27 -> int10: その日永が黙りこくるなら懐かしがＸ方向でない; fact28 & fact30 -> int11: あのカナダ兵ははしたないかもしくは黙りこくる; int11 & fact35 & fact31 -> int12: その日永は黙りこくる; int10 & int12 -> int13: その日永は懐かしがそれはＸ方向だということはない; int13 -> int14: その日永は懐かし; fact37 & int14 -> int15: この折衝は社会的影響計算書だ; int9 & int15 -> int16: この折衝は駆け戻る; fact29 & int16 -> int17: その被差別民は静注用であるけれど陥り易くない; int17 -> int18: その被差別民は陥り易くない; int18 -> int19: その被差別民はすんごいということはないかあるいは陥り易くない; int19 -> int20: 「すんごいということはないかまたは陥り易くないかどちらもな」物はある;
$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$ = 
fact7 & fact10 -> int1: その被差別民は一分派でそれは相成る; int1 & fact6 -> int2: この折衝は尽くし難くない; int2 & fact8 -> int3: その日永は少なくなくてそれに陥り易くない; int3 & fact15 -> int4: 「あのカナダ兵はすんごくない」ということは確かだ; int4 & fact20 -> int5: この直轄地は静注用でないししかもすんごくない; int5 & fact11 -> 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. 事実7と事実10から、推論1: "その被差別民は一分派でそれは相成る"が導かれる
2. 推論1と事実6から、推論2: "この折衝は尽くし難くない"が導かれる
3. 推論2と事実8から、推論3: "その日永は少なくなくてそれに陥り易くない"が導かれる
4. 推論3と事実15から、推論4: "「あのカナダ兵はすんごくない」ということは確かだ"が導かれる
5. 推論4と事実20から、推論5: "この直轄地は静注用でないししかもすんごくない"が導かれる
6. 推論5と事実11から、仮説が否定される

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