その交戦権はえげつなくない
fact1: 仮にあの沖縄旅行が落ち易いとしたら死亡後である fact2: 「その交戦権は敵中深い」ということは正しい fact3: その交戦権は買い始める fact4: 仮に「あの沖縄旅行は酷くてそれは抜去する」ということは本当であるとしたらあの一時間毎は酷くない fact5: もしもあの沖縄旅行が死亡後ならばそれは愚かしくない fact6: 「詰まり易い」ものはあるとすると「「その一銭蒸気は敵中深くないしその上吠え立てない」ということは成り立たない」ということは事実だ fact7: もし仮にその交戦権が敵中深いならそれは吠え立てない fact8: 漏れ無くないものは酷いし更に抜去する fact9: 仮にとあるものが残り難いということはないかまたはそれは返せないかあるいは両方だとするとそれは詰まり易い fact10: もしあるものが吠え立てないとしたらえげつないしかつ買い始める fact11: あの沖縄旅行は落ち易い fact12: あの沖縄旅行はビロード張りだ fact13: もし仮に「酷くない」ものがあるとすればあの勤務医は残り難くないかもしくはそれは返せない fact14: 仮に愚かしくない物がビロード張りだとすればそれは漏れ無くない
fact10 -> int1: もしもその交戦権が吠え立てるということはないとするとそれはえげつないしその上買い始める; fact2 & fact7 -> int2: その交戦権は吠え立てない; int1 & int2 -> int3: その交戦権はえげつなくて加えて買い始める; int3 -> hypothesis;
その交戦権はえげつなくない
fact18 -> int4: もし仮にあの勤務医は残り難くないかまたは返せないかどちらもであるとすればそれは詰まり易い; fact20 -> int5: もし「あの沖縄旅行は漏れ無くない」ということは真実であるならば酷いしそれに抜去する; fact22 -> int6: もしもあの沖縄旅行が愚かしくないがしかしそれがビロード張りだとすると漏れ無くない; fact23 & fact24 -> int7: あの沖縄旅行は死亡後だ; fact17 & int7 -> int8: あの沖縄旅行は愚かしいということはない; int8 & fact16 -> int9: あの沖縄旅行は愚かしくないけどビロード張りだ; int6 & int9 -> int10: あの沖縄旅行は漏れ無くない; int5 & int10 -> int11: あの沖縄旅行は酷いしさらにそれは抜去する; fact15 & int11 -> int12: あの一時間毎は酷くない; int12 -> int13: とあるものは酷くない; int13 & fact21 -> int14: あの勤務医は残り難くないかまたは返せないかまたは両方ともである; int4 & int14 -> int15: あの勤務医は詰まり易い; int15 -> int16: 「詰まり易い」ものはある; int16 & fact19 -> int17: 「「その一銭蒸気は敵中深くなくて加えてそれは吠え立てない」ということは確かだ」ということは嘘である; int17 -> int18: 「「敵中深くないし吠え立てない」ということは成り立たない」ものはある;
$facts$ = fact1: 仮にあの沖縄旅行が落ち易いとしたら死亡後である fact2: 「その交戦権は敵中深い」ということは正しい fact3: その交戦権は買い始める fact4: 仮に「あの沖縄旅行は酷くてそれは抜去する」ということは本当であるとしたらあの一時間毎は酷くない fact5: もしもあの沖縄旅行が死亡後ならばそれは愚かしくない fact6: 「詰まり易い」ものはあるとすると「「その一銭蒸気は敵中深くないしその上吠え立てない」ということは成り立たない」ということは事実だ fact7: もし仮にその交戦権が敵中深いならそれは吠え立てない fact8: 漏れ無くないものは酷いし更に抜去する fact9: 仮にとあるものが残り難いということはないかまたはそれは返せないかあるいは両方だとするとそれは詰まり易い fact10: もしあるものが吠え立てないとしたらえげつないしかつ買い始める fact11: あの沖縄旅行は落ち易い fact12: あの沖縄旅行はビロード張りだ fact13: もし仮に「酷くない」ものがあるとすればあの勤務医は残り難くないかもしくはそれは返せない fact14: 仮に愚かしくない物がビロード張りだとすればそれは漏れ無くない ; $hypothesis$ = その交戦権はえげつなくない ; $proof$ = 
fact10 -> int1: もしもその交戦権が吠え立てるということはないとするとそれはえげつないしその上買い始める; fact2 & fact7 -> int2: その交戦権は吠え立てない; int1 & int2 -> int3: その交戦権はえげつなくて加えて買い始める; int3 -> hypothesis; __DISPROVED__
事実1: 仮にあの沖縄旅行が落ち易いとしたら死亡後である
事実2: 「その交戦権は敵中深い」ということは正しい
事実3: その交戦権は買い始める
事実4: 仮に「あの沖縄旅行は酷くてそれは抜去する」ということは本当であるとしたらあの一時間毎は酷くない
事実5: もしもあの沖縄旅行が死亡後ならばそれは愚かしくない
事実6: 「詰まり易い」ものはあるとすると「「その一銭蒸気は敵中深くないしその上吠え立てない」ということは成り立たない」ということは事実だ
事実7: もし仮にその交戦権が敵中深いならそれは吠え立てない
事実8: 漏れ無くないものは酷いし更に抜去する
事実9: 仮にとあるものが残り難いということはないかまたはそれは返せないかあるいは両方だとするとそれは詰まり易い
事実10: もしあるものが吠え立てないとしたらえげつないしかつ買い始める
事実11: あの沖縄旅行は落ち易い
事実12: あの沖縄旅行はビロード張りだ
事実13: もし仮に「酷くない」ものがあるとすればあの勤務医は残り難くないかもしくはそれは返せない
事実14: 仮に愚かしくない物がビロード張りだとすればそれは漏れ無くない

仮説: その交戦権はえげつなくない
1. 事実10から、推論1: "もしもその交戦権が吠え立てるということはないとするとそれはえげつないしその上買い始める"が導かれる
2. 事実2と事実7から、推論2: "その交戦権は吠え立てない"が導かれる
3. 推論1と推論2から、推論3: "その交戦権はえげつなくて加えて買い始める"が導かれる
4. 推論3から、仮説が否定される

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