「「もし仮に「高所得者でないしおまけに結論する」ということは本当でないならばタバコである」ものはある」ということは成り立つということはない
fact1: もしあの藍子科は高所得者でないが結論するとするとタバコだ fact2: 「仮に「江戸家老でないしさらに火照る」ということは嘘であるとしたら犯し難い」物はある fact3: 「もし「「刈らないし保存する」ということは真実である」ということは成り立たないとすれば手強い」物はある fact4: 「もしも結論しないとするとタバコな」ものはある fact5: 仮にあの藍子科は結論するということはないとしたら「タバコだ」ということは本当である fact6: 「高所得者でなくて更に結論するとすればタバコである」物はある fact7: もし仮に「あの藍子科は高所得者であるし結論する」ということは事実と異なるとすればそれはタバコだ fact8: 「もし仮に「高所得者であるししかも結論する」ということは嘘だとするとタバコな」ものはある fact9: 「もし仮に高所得者であるならばタバコである」ものはある fact10: もし「あの藍子科は高所得者でないけど結論する」ということは嘘ならそれはタバコだ
fact10 -> hypothesis;
$facts$ = fact1: もしあの藍子科は高所得者でないが結論するとするとタバコだ fact2: 「仮に「江戸家老でないしさらに火照る」ということは嘘であるとしたら犯し難い」物はある fact3: 「もし「「刈らないし保存する」ということは真実である」ということは成り立たないとすれば手強い」物はある fact4: 「もしも結論しないとするとタバコな」ものはある fact5: 仮にあの藍子科は結論するということはないとしたら「タバコだ」ということは本当である fact6: 「高所得者でなくて更に結論するとすればタバコである」物はある fact7: もし仮に「あの藍子科は高所得者であるし結論する」ということは事実と異なるとすればそれはタバコだ fact8: 「もし仮に「高所得者であるししかも結論する」ということは嘘だとするとタバコな」ものはある fact9: 「もし仮に高所得者であるならばタバコである」ものはある fact10: もし「あの藍子科は高所得者でないけど結論する」ということは嘘ならそれはタバコだ ; $hypothesis$ = 「「もし仮に「高所得者でないしおまけに結論する」ということは本当でないならばタバコである」ものはある」ということは成り立つということはない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: もしあの藍子科は高所得者でないが結論するとするとタバコだ
事実2: 「仮に「江戸家老でないしさらに火照る」ということは嘘であるとしたら犯し難い」物はある
事実3: 「もし「「刈らないし保存する」ということは真実である」ということは成り立たないとすれば手強い」物はある
事実4: 「もしも結論しないとするとタバコな」ものはある
事実5: 仮にあの藍子科は結論するということはないとしたら「タバコだ」ということは本当である
事実6: 「高所得者でなくて更に結論するとすればタバコである」物はある
事実7: もし仮に「あの藍子科は高所得者であるし結論する」ということは事実と異なるとすればそれはタバコだ
事実8: 「もし仮に「高所得者であるししかも結論する」ということは嘘だとするとタバコな」ものはある
事実9: 「もし仮に高所得者であるならばタバコである」ものはある
事実10: もし「あの藍子科は高所得者でないけど結論する」ということは嘘ならそれはタバコだ

仮説: 「「もし仮に「高所得者でないしおまけに結論する」ということは本当でないならばタバコである」ものはある」ということは成り立つということはない
1. 事実10から、仮説が否定される

よって、仮説が否定されました。