その機能分担は大計だが馴染み深くない
fact1: 「免れ難くないし大計でない」物はある fact2: もし仮にこの平板化はローマ世界でないとすると「その機能分担は大計だけれど馴染み深くない」ということは事実でない fact3: もしあの知的財産権制度が抑制するならばあの印刷時は大人らしいということはない fact4: 「その印刷時はメソジスト派でないかあるいはそれは親戚一同でない」ということは成り立たないとしたらあの知的財産権制度は大人らしくない fact5: もし仮にあの知的財産権制度が荒立てないとしたらその印刷時は御詳しくなくて加えて上陸しない fact6: 仮にその印刷時は荒立てるなら「それはメソジスト派でないかもしくは親戚一同でないかどちらもだ」ということは成り立たない fact7: 「健康保険でないし石油基地でない」ものはある fact8: ある物は馴染み深くないしそれは免れ難くない fact9: もしも「健康保険でないし石油基地でない」物があるとしたらあの知的財産権制度は大人らしい fact10: もしもなにがしかのものが荒立てないとすると免れ難いということはない fact11: あの知的財産権制度は抑制しない fact12: もしもその洗い場が受け辛くないとすればそれは馴染み深いかまたはそれは上り易くないかあるいは両方だ fact13: もし仮に「この平板化は抑制しないか荒立てないかまたは両方ともだ」ということは成り立たないならばあの印刷時はローマ世界でない fact14: 仮に何らかの物が馴染み深くないし水循環でないとするとその機能分担は親戚一同である fact15: もし仮にその印刷時が抑制するならこの平板化はローマ世界でない fact16: この平板化は馴染み深くない fact17: 「大計でなくてそれに馴染み深くない」ものはあるなら「その機能分担は親戚一同である」ということは事実だ fact18: もしもその印刷時は水循環でないとしたら「この平板化はローマ世界でない」ということは嘘でない fact19: もし仮に「その機能分担は水循環だということはない」ということは本当だとすればあの印刷時は馴染み深くない fact20: 免れ難くないものは抑制するか水循環でないか両方だ
void -> assump1: 以下のように仮定する。その印刷時は荒立てる; fact6 & assump1 -> int1: 「その印刷時はメソジスト派であるということはないかまたは親戚一同でないかあるいは両方ともである」ということは成り立たない; int1 & fact4 -> int2: あの知的財産権制度は大人らしくない; fact7 & fact9 -> int3: あの知的財産権制度は大人らしい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その印刷時は荒立てない; fact10 -> int6: もしその印刷時が荒立てないとすれば免れ難くない; int5 & int6 -> int7: その印刷時は免れ難くない; fact20 -> int8: もしも「その印刷時は免れ難くない」ということは成り立てばそれは抑制するかもしくはそれは水循環でないかもしくは両方ともだ; int7 & int8 -> int9: その印刷時は抑制するかあるいは水循環であるということはないかまたは両方ともだ; int9 & fact15 & fact18 -> int10: この平板化はローマ世界であるということはない; int10 & fact2 -> hypothesis;
「御詳しくないしおまけに上陸するということはない」物はある
$facts$ = fact1: 「免れ難くないし大計でない」物はある fact2: もし仮にこの平板化はローマ世界でないとすると「その機能分担は大計だけれど馴染み深くない」ということは事実でない fact3: もしあの知的財産権制度が抑制するならばあの印刷時は大人らしいということはない fact4: 「その印刷時はメソジスト派でないかあるいはそれは親戚一同でない」ということは成り立たないとしたらあの知的財産権制度は大人らしくない fact5: もし仮にあの知的財産権制度が荒立てないとしたらその印刷時は御詳しくなくて加えて上陸しない fact6: 仮にその印刷時は荒立てるなら「それはメソジスト派でないかもしくは親戚一同でないかどちらもだ」ということは成り立たない fact7: 「健康保険でないし石油基地でない」ものはある fact8: ある物は馴染み深くないしそれは免れ難くない fact9: もしも「健康保険でないし石油基地でない」物があるとしたらあの知的財産権制度は大人らしい fact10: もしもなにがしかのものが荒立てないとすると免れ難いということはない fact11: あの知的財産権制度は抑制しない fact12: もしもその洗い場が受け辛くないとすればそれは馴染み深いかまたはそれは上り易くないかあるいは両方だ fact13: もし仮に「この平板化は抑制しないか荒立てないかまたは両方ともだ」ということは成り立たないならばあの印刷時はローマ世界でない fact14: 仮に何らかの物が馴染み深くないし水循環でないとするとその機能分担は親戚一同である fact15: もし仮にその印刷時が抑制するならこの平板化はローマ世界でない fact16: この平板化は馴染み深くない fact17: 「大計でなくてそれに馴染み深くない」ものはあるなら「その機能分担は親戚一同である」ということは事実だ fact18: もしもその印刷時は水循環でないとしたら「この平板化はローマ世界でない」ということは嘘でない fact19: もし仮に「その機能分担は水循環だということはない」ということは本当だとすればあの印刷時は馴染み深くない fact20: 免れ難くないものは抑制するか水循環でないか両方だ ; $hypothesis$ = その機能分担は大計だが馴染み深くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その印刷時は荒立てる; fact6 & assump1 -> int1: 「その印刷時はメソジスト派であるということはないかまたは親戚一同でないかあるいは両方ともである」ということは成り立たない; int1 & fact4 -> int2: あの知的財産権制度は大人らしくない; fact7 & fact9 -> int3: あの知的財産権制度は大人らしい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その印刷時は荒立てない; fact10 -> int6: もしその印刷時が荒立てないとすれば免れ難くない; int5 & int6 -> int7: その印刷時は免れ難くない; fact20 -> int8: もしも「その印刷時は免れ難くない」ということは成り立てばそれは抑制するかもしくはそれは水循環でないかもしくは両方ともだ; int7 & int8 -> int9: その印刷時は抑制するかあるいは水循環であるということはないかまたは両方ともだ; int9 & fact15 & fact18 -> int10: この平板化はローマ世界であるということはない; int10 & fact2 -> hypothesis; __DISPROVED__
事実1: 「免れ難くないし大計でない」物はある
事実2: もし仮にこの平板化はローマ世界でないとすると「その機能分担は大計だけれど馴染み深くない」ということは事実でない
事実3: もしあの知的財産権制度が抑制するならばあの印刷時は大人らしいということはない
事実4: 「その印刷時はメソジスト派でないかあるいはそれは親戚一同でない」ということは成り立たないとしたらあの知的財産権制度は大人らしくない
事実5: もし仮にあの知的財産権制度が荒立てないとしたらその印刷時は御詳しくなくて加えて上陸しない
事実6: 仮にその印刷時は荒立てるなら「それはメソジスト派でないかもしくは親戚一同でないかどちらもだ」ということは成り立たない
事実7: 「健康保険でないし石油基地でない」ものはある
事実8: ある物は馴染み深くないしそれは免れ難くない
事実9: もしも「健康保険でないし石油基地でない」物があるとしたらあの知的財産権制度は大人らしい
事実10: もしもなにがしかのものが荒立てないとすると免れ難いということはない
事実11: あの知的財産権制度は抑制しない
事実12: もしもその洗い場が受け辛くないとすればそれは馴染み深いかまたはそれは上り易くないかあるいは両方だ
事実13: もし仮に「この平板化は抑制しないか荒立てないかまたは両方ともだ」ということは成り立たないならばあの印刷時はローマ世界でない
事実14: 仮に何らかの物が馴染み深くないし水循環でないとするとその機能分担は親戚一同である
事実15: もし仮にその印刷時が抑制するならこの平板化はローマ世界でない
事実16: この平板化は馴染み深くない
事実17: 「大計でなくてそれに馴染み深くない」ものはあるなら「その機能分担は親戚一同である」ということは事実だ
事実18: もしもその印刷時は水循環でないとしたら「この平板化はローマ世界でない」ということは嘘でない
事実19: もし仮に「その機能分担は水循環だということはない」ということは本当だとすればあの印刷時は馴染み深くない
事実20: 免れ難くないものは抑制するか水循環でないか両方だ

仮説: その機能分担は大計だが馴染み深くない
1. 仮定1: 以下のように仮定する。その印刷時は荒立てる
2. 事実6と仮定1から、推論1: "「その印刷時はメソジスト派であるということはないかまたは親戚一同でないかあるいは両方ともである」ということは成り立たない"が導かれる
3. 推論1と事実4から、推論2: "あの知的財産権制度は大人らしくない"が導かれる
4. 事実7と事実9から、推論3: "あの知的財産権制度は大人らしい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その印刷時は荒立てない"が導かれる
7. 事実10から、推論6: "もしその印刷時が荒立てないとすれば免れ難くない"が導かれる
8. 推論5と推論6から、推論7: "その印刷時は免れ難くない"が導かれる
9. 事実20から、推論8: "もしも「その印刷時は免れ難くない」ということは成り立てばそれは抑制するかもしくはそれは水循環でないかもしくは両方ともだ"が導かれる
10. 推論7と推論8から、推論9: "その印刷時は抑制するかあるいは水循環であるということはないかまたは両方ともだ"が導かれる
11. 推論9と事実15と事実18から、推論10: "この平板化はローマ世界であるということはない"が導かれる
12. 推論10と事実2から、仮説が否定される

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