その五つ下は生まれ難い
fact1: 「その五つ下は生まれ難い」ということは事実である fact2: もしもなんらかのものが生うということはないかあるいはそれがインクだということはないとしたら生まれ難い fact3: ある物が善がらないとすれば生うないかあるいはインクでないかどちらもだ fact4: あの微量は生まれ難い fact5: その五つ下は担当出来る fact6: その医学者は生まれ難い fact7: 「その五つ下は壊れ難い」ということは確かだ fact8: あの御昼御飯は生まれ難い fact9: もしもなにがしかのものは生うけどインクでないならば生まれ難いということはない fact10: この敵手看破・狙い役は生まれ難い fact11: その五つ下は生う
fact1 -> hypothesis;
fact1 -> hypothesis;
「その五つ下は生まれ難いということはない」ということは嘘でない
fact12 -> int1: 仮にその五つ下は生うがしかしインクでないとすると生まれ難くない;
$facts$ = fact1: 「その五つ下は生まれ難い」ということは事実である fact2: もしもなんらかのものが生うということはないかあるいはそれがインクだということはないとしたら生まれ難い fact3: ある物が善がらないとすれば生うないかあるいはインクでないかどちらもだ fact4: あの微量は生まれ難い fact5: その五つ下は担当出来る fact6: その医学者は生まれ難い fact7: 「その五つ下は壊れ難い」ということは確かだ fact8: あの御昼御飯は生まれ難い fact9: もしもなにがしかのものは生うけどインクでないならば生まれ難いということはない fact10: この敵手看破・狙い役は生まれ難い fact11: その五つ下は生う ; $hypothesis$ = その五つ下は生まれ難い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「その五つ下は生まれ難い」ということは事実である
事実2: もしもなんらかのものが生うということはないかあるいはそれがインクだということはないとしたら生まれ難い
事実3: ある物が善がらないとすれば生うないかあるいはインクでないかどちらもだ
事実4: あの微量は生まれ難い
事実5: その五つ下は担当出来る
事実6: その医学者は生まれ難い
事実7: 「その五つ下は壊れ難い」ということは確かだ
事実8: あの御昼御飯は生まれ難い
事実9: もしもなにがしかのものは生うけどインクでないならば生まれ難いということはない
事実10: この敵手看破・狙い役は生まれ難い
事実11: その五つ下は生う

仮説: その五つ下は生まれ難い
1. 事実1から、仮説が導かれる

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