その白血病は分配するけれど精選しない
fact1: もし仮に「その白血病は発生し易くない」ということは正しいとすると分配するけれど精選しない fact2: 緩いということはないものは汚れ難いかもしくは発生し易いか両方ともである fact3: もし仮になにがしかのものは発生し易いかあるいは汚れ難いかもしくは両方ともなら精選しない fact4: 「何らかの物は発生し易いとすると「分配するが精選しない」ということは偽である」ということは成り立つ fact5: 仮にその白血病は発生し易くないとしたら精選するということはない fact6: その白血病は精選するということはない fact7: この流水下は精選するがそれは一号営業でない fact8: その白血病は発生し易いということはない
fact1 & fact8 -> hypothesis;
fact1 & fact8 -> hypothesis;
「その白血病は分配するけれど精選しない」ということは嘘である
fact10 -> int1: もしもその白血病は発生し易いならば「分配するしかつ精選しない」ということは誤りである; fact9 -> int2: もし仮にあの東京湾アクアラインが緩くないとすればそれは汚れ難いかそれは発生し易いかまたは両方ともだ;
$facts$ = fact1: もし仮に「その白血病は発生し易くない」ということは正しいとすると分配するけれど精選しない fact2: 緩いということはないものは汚れ難いかもしくは発生し易いか両方ともである fact3: もし仮になにがしかのものは発生し易いかあるいは汚れ難いかもしくは両方ともなら精選しない fact4: 「何らかの物は発生し易いとすると「分配するが精選しない」ということは偽である」ということは成り立つ fact5: 仮にその白血病は発生し易くないとしたら精選するということはない fact6: その白血病は精選するということはない fact7: この流水下は精選するがそれは一号営業でない fact8: その白血病は発生し易いということはない ; $hypothesis$ = その白血病は分配するけれど精選しない ; $proof$ = 
fact1 & fact8 -> hypothesis; __PROVED__
事実1: もし仮に「その白血病は発生し易くない」ということは正しいとすると分配するけれど精選しない
事実2: 緩いということはないものは汚れ難いかもしくは発生し易いか両方ともである
事実3: もし仮になにがしかのものは発生し易いかあるいは汚れ難いかもしくは両方ともなら精選しない
事実4: 「何らかの物は発生し易いとすると「分配するが精選しない」ということは偽である」ということは成り立つ
事実5: 仮にその白血病は発生し易くないとしたら精選するということはない
事実6: その白血病は精選するということはない
事実7: この流水下は精選するがそれは一号営業でない
事実8: その白血病は発生し易いということはない

仮説: その白血病は分配するけれど精選しない
1. 事実1と事実8から、仮説が導かれる

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