「この客がうざいとすればこの窃盗罪は貧乏する」ということは間違いである
fact1: この客は貧乏する fact2: この切り売りはうざい fact3: この窃盗罪はうざい fact4: もし仮にこの切り売りがうざいとすればこの客は有機ＪＡＳマークだ fact5: この客がうざいならばこの切り売りは有機ＪＡＳマークである fact6: この窃盗罪が有機ＪＡＳマークならこの切り売りは貧乏する fact7: もし仮にこの切り売りが有機ＪＡＳマークであるならこの窃盗罪は貧乏する fact8: 「この切り売りは貧乏する」ということは本当であるとすればあの窃盗罪は有機ＪＡＳマークだ fact9: この客は有機ＪＡＳマークだ fact10: この切り売りは貧乏する fact11: この窃盗罪はアドバイスする fact12: あの楽屋はうざい fact13: 仮にこの窃盗罪がうざいならばこの客は貧乏する fact14: この客が有機ＪＡＳマークだとしたらこの切り売りはうざい fact15: もし「この客が晴れはましくらないか貧乏するかもしくは両方ともだ」ということは事実と異なるとしたらこのナイーブＴ細胞はうざい fact16: この窃盗罪は有機ＪＡＳマークである fact17: あの残差は貧乏する fact18: この散歩がてらは有機ＪＡＳマークである fact19: この窃盗罪は架橋する fact20: もしもこの客が貧乏するならこの窃盗罪はうざい fact21: この切り売りはＳＴだ
void -> assump1: 以下のように仮定する。この客はうざい; fact5 & assump1 -> int1: この切り売りは有機ＪＡＳマークだ; int1 & fact7 -> int2: この窃盗罪は貧乏する; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{c}; [assump1] & int2 -> hypothesis;
このナイーブＴ細胞は有機ＪＡＳマークである
$facts$ = fact1: この客は貧乏する fact2: この切り売りはうざい fact3: この窃盗罪はうざい fact4: もし仮にこの切り売りがうざいとすればこの客は有機ＪＡＳマークだ fact5: この客がうざいならばこの切り売りは有機ＪＡＳマークである fact6: この窃盗罪が有機ＪＡＳマークならこの切り売りは貧乏する fact7: もし仮にこの切り売りが有機ＪＡＳマークであるならこの窃盗罪は貧乏する fact8: 「この切り売りは貧乏する」ということは本当であるとすればあの窃盗罪は有機ＪＡＳマークだ fact9: この客は有機ＪＡＳマークだ fact10: この切り売りは貧乏する fact11: この窃盗罪はアドバイスする fact12: あの楽屋はうざい fact13: 仮にこの窃盗罪がうざいならばこの客は貧乏する fact14: この客が有機ＪＡＳマークだとしたらこの切り売りはうざい fact15: もし「この客が晴れはましくらないか貧乏するかもしくは両方ともだ」ということは事実と異なるとしたらこのナイーブＴ細胞はうざい fact16: この窃盗罪は有機ＪＡＳマークである fact17: あの残差は貧乏する fact18: この散歩がてらは有機ＪＡＳマークである fact19: この窃盗罪は架橋する fact20: もしもこの客が貧乏するならこの窃盗罪はうざい fact21: この切り売りはＳＴだ ; $hypothesis$ = 「この客がうざいとすればこの窃盗罪は貧乏する」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。この客はうざい; fact5 & assump1 -> int1: この切り売りは有機ＪＡＳマークだ; int1 & fact7 -> int2: この窃盗罪は貧乏する; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: この客は貧乏する
事実2: この切り売りはうざい
事実3: この窃盗罪はうざい
事実4: もし仮にこの切り売りがうざいとすればこの客は有機ＪＡＳマークだ
事実5: この客がうざいならばこの切り売りは有機ＪＡＳマークである
事実6: この窃盗罪が有機ＪＡＳマークならこの切り売りは貧乏する
事実7: もし仮にこの切り売りが有機ＪＡＳマークであるならこの窃盗罪は貧乏する
事実8: 「この切り売りは貧乏する」ということは本当であるとすればあの窃盗罪は有機ＪＡＳマークだ
事実9: この客は有機ＪＡＳマークだ
事実10: この切り売りは貧乏する
事実11: この窃盗罪はアドバイスする
事実12: あの楽屋はうざい
事実13: 仮にこの窃盗罪がうざいならばこの客は貧乏する
事実14: この客が有機ＪＡＳマークだとしたらこの切り売りはうざい
事実15: もし「この客が晴れはましくらないか貧乏するかもしくは両方ともだ」ということは事実と異なるとしたらこのナイーブＴ細胞はうざい
事実16: この窃盗罪は有機ＪＡＳマークである
事実17: あの残差は貧乏する
事実18: この散歩がてらは有機ＪＡＳマークである
事実19: この窃盗罪は架橋する
事実20: もしもこの客が貧乏するならこの窃盗罪はうざい
事実21: この切り売りはＳＴだ

仮説: 「この客がうざいとすればこの窃盗罪は貧乏する」ということは間違いである
1. 仮定1: 以下のように仮定する。この客はうざい
2. 事実5と仮定1から、推論1: "この切り売りは有機ＪＡＳマークだ"が導かれる
3. 推論1と事実7から、推論2: "この窃盗罪は貧乏する"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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