「上り易いということおよび投薬することが生じる」ということは誤りだ
fact1: 「上り易いということが起きる」ということは真実である fact2: 投薬することが生じる
fact1 -> int1: 「上り易いということが起きる」ということは真実である; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 「上り易いということが起きる」ということは真実である fact2: 投薬することが生じる ; $hypothesis$ = 「上り易いということおよび投薬することが生じる」ということは誤りだ ; $proof$ = 
fact1 -> int1: 「上り易いということが起きる」ということは真実である; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact2 -> hypothesis; __DISPROVED__