その低コストは一夫一婦制でない
fact1: 荒っぽくない物は互選だしさらに和睦する fact2: 全てのものは荒っぽくない fact3: もし仮にあの丁君が狂王でないけどそれが一夫一婦制だとしたらその低コストは一夫一婦制でない fact4: 仮にあの伊都国が狂王ならばあの丁君は狂王だ fact5: あの伊都国は御無沙汰しない fact6: 仮にあの丁君が遣り辛いがしかし一夫一婦制でないならばその低コストは遣り辛い fact7: 「「狂王でない」ということは事実な」物はある fact8: あの伊都国が御無沙汰するということはないとするとそれは狂王で加えて支持し続ける fact9: もし「あるものは狂王でない」ということは成り立てばその低コストは一夫一婦制で互選である fact10: 狂王は遣り辛いが一夫一婦制でない
fact7 & fact9 -> int1: その低コストは一夫一婦制であるしさらに互選だ; int1 -> hypothesis;
fact7 & fact9 -> int1: ({B}{a} & {C}{a}); int1 -> hypothesis;
その低コストは一夫一婦制でない
$facts$ = fact1: 荒っぽくない物は互選だしさらに和睦する fact2: 全てのものは荒っぽくない fact3: もし仮にあの丁君が狂王でないけどそれが一夫一婦制だとしたらその低コストは一夫一婦制でない fact4: 仮にあの伊都国が狂王ならばあの丁君は狂王だ fact5: あの伊都国は御無沙汰しない fact6: 仮にあの丁君が遣り辛いがしかし一夫一婦制でないならばその低コストは遣り辛い fact7: 「「狂王でない」ということは事実な」物はある fact8: あの伊都国が御無沙汰するということはないとするとそれは狂王で加えて支持し続ける fact9: もし「あるものは狂王でない」ということは成り立てばその低コストは一夫一婦制で互選である fact10: 狂王は遣り辛いが一夫一婦制でない ; $hypothesis$ = その低コストは一夫一婦制でない ; $proof$ = 
fact7 & fact9 -> int1: その低コストは一夫一婦制であるしさらに互選だ; int1 -> hypothesis; __DISPROVED__
事実1: 荒っぽくない物は互選だしさらに和睦する
事実2: 全てのものは荒っぽくない
事実3: もし仮にあの丁君が狂王でないけどそれが一夫一婦制だとしたらその低コストは一夫一婦制でない
事実4: 仮にあの伊都国が狂王ならばあの丁君は狂王だ
事実5: あの伊都国は御無沙汰しない
事実6: 仮にあの丁君が遣り辛いがしかし一夫一婦制でないならばその低コストは遣り辛い
事実7: 「「狂王でない」ということは事実な」物はある
事実8: あの伊都国が御無沙汰するということはないとするとそれは狂王で加えて支持し続ける
事実9: もし「あるものは狂王でない」ということは成り立てばその低コストは一夫一婦制で互選である
事実10: 狂王は遣り辛いが一夫一婦制でない

仮説: その低コストは一夫一婦制でない
1. 事実7と事実9から、推論1: "その低コストは一夫一婦制であるしさらに互選だ"が導かれる
2. 推論1から、仮説が否定される

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