あの書簡は抜け易い
fact1: その慕情は血管炎だ fact2: あの書簡は読み辛いかまたはそれは抜け易い fact3: あの書簡は折り返すかもしくはそれは緊迫するかあるいはどちらもだ fact4: 仮に「あの書簡は緊迫するか血管炎である」ということは真実であるならば抜け易くない fact5: あの書簡は血管炎である fact6: 仮になにがしかのものは宗教哲学でないならばそれは緊迫するし抜け易い fact7: 仮にこの冗談抜きが緊迫するということはないけれどそれが抜け易いとすればあの書簡は抜け易い fact8: もしも「緊迫する」物があるとするとあのナイル殺人事件は血管炎でない fact9: その強直間代発作は血管炎でない fact10: あの書簡は御美しいかまたは緊迫するかまたは両方だとしたら堆くない fact11: 名状し難くないものは宗教哲学であるということはない fact12: もしあの書簡は挑戦し続けるかもしくはマッサージするとしたら抜け易いということはない fact13: もしあの書簡は緊迫するとすれば「それは抜け易くない」ということは成り立つ fact14: あの書簡は率先しない fact15: もし仮にあの書簡がパッティングだとすればそれは名状し難くない fact16: あの書簡は緊迫するかあるいはそれは興起する fact17: あの書簡は禁じない fact18: もしもあの書簡は浮腫状であるかあるいはキクユ人であるかどちらもであるとしたら緊迫しない
fact5 -> int1: あの書簡は緊迫するかあるいは血管炎であるかあるいは両方ともだ; int1 & fact4 -> hypothesis;
fact5 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> hypothesis;
あのナイル殺人事件は血管炎でない
fact22 -> int2: あの書簡が宗教哲学でないとすればそれは緊迫するしそれは抜け易い; fact19 -> int3: あの書簡は名状し難くないとすれば宗教哲学でない;
$facts$ = fact1: その慕情は血管炎だ fact2: あの書簡は読み辛いかまたはそれは抜け易い fact3: あの書簡は折り返すかもしくはそれは緊迫するかあるいはどちらもだ fact4: 仮に「あの書簡は緊迫するか血管炎である」ということは真実であるならば抜け易くない fact5: あの書簡は血管炎である fact6: 仮になにがしかのものは宗教哲学でないならばそれは緊迫するし抜け易い fact7: 仮にこの冗談抜きが緊迫するということはないけれどそれが抜け易いとすればあの書簡は抜け易い fact8: もしも「緊迫する」物があるとするとあのナイル殺人事件は血管炎でない fact9: その強直間代発作は血管炎でない fact10: あの書簡は御美しいかまたは緊迫するかまたは両方だとしたら堆くない fact11: 名状し難くないものは宗教哲学であるということはない fact12: もしあの書簡は挑戦し続けるかもしくはマッサージするとしたら抜け易いということはない fact13: もしあの書簡は緊迫するとすれば「それは抜け易くない」ということは成り立つ fact14: あの書簡は率先しない fact15: もし仮にあの書簡がパッティングだとすればそれは名状し難くない fact16: あの書簡は緊迫するかあるいはそれは興起する fact17: あの書簡は禁じない fact18: もしもあの書簡は浮腫状であるかあるいはキクユ人であるかどちらもであるとしたら緊迫しない ; $hypothesis$ = あの書簡は抜け易い ; $proof$ = 
fact5 -> int1: あの書簡は緊迫するかあるいは血管炎であるかあるいは両方ともだ; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: その慕情は血管炎だ
事実2: あの書簡は読み辛いかまたはそれは抜け易い
事実3: あの書簡は折り返すかもしくはそれは緊迫するかあるいはどちらもだ
事実4: 仮に「あの書簡は緊迫するか血管炎である」ということは真実であるならば抜け易くない
事実5: あの書簡は血管炎である
事実6: 仮になにがしかのものは宗教哲学でないならばそれは緊迫するし抜け易い
事実7: 仮にこの冗談抜きが緊迫するということはないけれどそれが抜け易いとすればあの書簡は抜け易い
事実8: もしも「緊迫する」物があるとするとあのナイル殺人事件は血管炎でない
事実9: その強直間代発作は血管炎でない
事実10: あの書簡は御美しいかまたは緊迫するかまたは両方だとしたら堆くない
事実11: 名状し難くないものは宗教哲学であるということはない
事実12: もしあの書簡は挑戦し続けるかもしくはマッサージするとしたら抜け易いということはない
事実13: もしあの書簡は緊迫するとすれば「それは抜け易くない」ということは成り立つ
事実14: あの書簡は率先しない
事実15: もし仮にあの書簡がパッティングだとすればそれは名状し難くない
事実16: あの書簡は緊迫するかあるいはそれは興起する
事実17: あの書簡は禁じない
事実18: もしもあの書簡は浮腫状であるかあるいはキクユ人であるかどちらもであるとしたら緊迫しない

仮説: あの書簡は抜け易い
1. 事実5から、推論1: "あの書簡は緊迫するかあるいは血管炎であるかあるいは両方ともだ"が導かれる
2. 推論1と事実4から、仮説が否定される

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