あのジャム状は三本マストである
fact1: このラブホテルは三本マストである fact2: もしもあの板切れが神奈川工場ならばあのジャム状は運転し易くないし三本マストであるということはない fact3: あのジャム状は三本マストだ fact4: あのジャム状は罹患し易い fact5: この廃棄は三本マストである fact6: その酢・醤油は三本マストだ fact7: 「あのジャム状は粗い」ということは正しい
fact3 -> hypothesis;
fact3 -> hypothesis;
「あのジャム状は三本マストでない」ということは確かである
$facts$ = fact1: このラブホテルは三本マストである fact2: もしもあの板切れが神奈川工場ならばあのジャム状は運転し易くないし三本マストであるということはない fact3: あのジャム状は三本マストだ fact4: あのジャム状は罹患し易い fact5: この廃棄は三本マストである fact6: その酢・醤油は三本マストだ fact7: 「あのジャム状は粗い」ということは正しい ; $hypothesis$ = あのジャム状は三本マストである ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: このラブホテルは三本マストである
事実2: もしもあの板切れが神奈川工場ならばあのジャム状は運転し易くないし三本マストであるということはない
事実3: あのジャム状は三本マストだ
事実4: あのジャム状は罹患し易い
事実5: この廃棄は三本マストである
事実6: その酢・醤油は三本マストだ
事実7: 「あのジャム状は粗い」ということは正しい

仮説: あのジャム状は三本マストである
1. 事実3から、仮説が導かれる

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