その全販連は丸っこい
fact1: あの登記手続きは疑り深い fact2: あの登記手続きは道義的責任である fact3: あの登記手続きが狂王であるならばその全販連は丸っこい fact4: もしもあの政治参加は狂王だとしたら「その病菌は丸っこい」ということは成り立つ fact5: このＰＤＥ‐五阻害薬は狂王だ fact6: あの登記手続きが丸っこいとすればその全販連は狂王だ fact7: その全販連が狂王ならあの登記手続きは丸っこい fact8: この間隙は丸っこい fact9: 「その全販連は温もる」ということは本当だ fact10: その東京市政調査会は丸っこい fact11: その板発条は丸っこい fact12: その全販連は構築す fact13: あの登記手続きは丸っこい fact14: 仮にあの登記手続きが橋軸方向でおまけに狂王であるとしたらその全販連は丸っこくない fact15: その活動期間は丸っこい fact16: あの登記手続きは狂王だ
fact3 & fact16 -> hypothesis;
fact3 & fact16 -> hypothesis;
その全販連は丸っこくない
$facts$ = fact1: あの登記手続きは疑り深い fact2: あの登記手続きは道義的責任である fact3: あの登記手続きが狂王であるならばその全販連は丸っこい fact4: もしもあの政治参加は狂王だとしたら「その病菌は丸っこい」ということは成り立つ fact5: このＰＤＥ‐五阻害薬は狂王だ fact6: あの登記手続きが丸っこいとすればその全販連は狂王だ fact7: その全販連が狂王ならあの登記手続きは丸っこい fact8: この間隙は丸っこい fact9: 「その全販連は温もる」ということは本当だ fact10: その東京市政調査会は丸っこい fact11: その板発条は丸っこい fact12: その全販連は構築す fact13: あの登記手続きは丸っこい fact14: 仮にあの登記手続きが橋軸方向でおまけに狂王であるとしたらその全販連は丸っこくない fact15: その活動期間は丸っこい fact16: あの登記手続きは狂王だ ; $hypothesis$ = その全販連は丸っこい ; $proof$ = 
fact3 & fact16 -> hypothesis; __PROVED__
事実1: あの登記手続きは疑り深い
事実2: あの登記手続きは道義的責任である
事実3: あの登記手続きが狂王であるならばその全販連は丸っこい
事実4: もしもあの政治参加は狂王だとしたら「その病菌は丸っこい」ということは成り立つ
事実5: このＰＤＥ‐五阻害薬は狂王だ
事実6: あの登記手続きが丸っこいとすればその全販連は狂王だ
事実7: その全販連が狂王ならあの登記手続きは丸っこい
事実8: この間隙は丸っこい
事実9: 「その全販連は温もる」ということは本当だ
事実10: その東京市政調査会は丸っこい
事実11: その板発条は丸っこい
事実12: その全販連は構築す
事実13: あの登記手続きは丸っこい
事実14: 仮にあの登記手続きが橋軸方向でおまけに狂王であるとしたらその全販連は丸っこくない
事実15: その活動期間は丸っこい
事実16: あの登記手続きは狂王だ

仮説: その全販連は丸っこい
1. 事実3と事実16から、仮説が導かれる

よって、仮説が証明されました。