あのタックスは見過ごし難い
fact1: もし仮にあのタックスが禁止するとするとそれはＰＲＥβ‐ＨＤＬでなくてそれは磨り潰す fact2: とあるものはＰＲＥβ‐ＨＤＬでないが磨り潰すとしたら見過ごし難くない fact3: もしあのタックスがＰＲＥβ‐ＨＤＬならぎごちない fact4: もしもとあるものが捗々しいならばそれは前倒ししなくて了承しない fact5: もしもあのタックスが国内法上だとしたらターボモデルだということはないしかつそれは禁止する fact6: もし仮にあのタックスは統括班長でないけれどキラーファト運動であるとしたら「禁止しない」ということは本当だ fact7: もし仮に「あのギタリストは捗々しい」ということは事実ならこの当該受給者は捗々しい fact8: あのタックスは読み慣れないけれど如此しなら当該銀行でない fact9: もしもなにかは前倒ししなくて加えて了承しないならば立派過ぎない fact10: あのタックスは禁止する fact11: あのタックスはスネイプ城でない fact12: もしあのタックスが覚束無いならそれはヨーロッパ諸民族でないしかつ禁止する fact13: 「もしこの当該受給者が立派過ぎないならその金毘羅神社は独り言つか禁止するかもしくは両方ともである」ということは正しい fact14: 仮にそのパステル仕上げが捗々しいならあのギタリストは捗々しい fact15: あのタックスは磨り潰す fact16: もしあのタックスが禁止するということはないなら磨り潰すかまたはそれは見過ごし難いかもしくは両方だ fact17: この戦争がＰＲＥβ‐ＨＤＬであるならそれは新市場でなくて統括班長である fact18: あのクラスメートは禁止する
fact1 & fact10 -> int1: あのタックスはＰＲＥβ‐ＨＤＬでないがしかし磨り潰す; fact2 -> int2: もしあのタックスがＰＲＥβ‐ＨＤＬでないけれどそれが磨り潰すとすればそれは見過ごし難くない; int1 & int2 -> hypothesis;
fact1 & fact10 -> int1: (¬{AA}{a} & {AB}{a}); fact2 -> int2: (¬{AA}{a} & {AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
この例言は磨り潰す
$facts$ = fact1: もし仮にあのタックスが禁止するとするとそれはＰＲＥβ‐ＨＤＬでなくてそれは磨り潰す fact2: とあるものはＰＲＥβ‐ＨＤＬでないが磨り潰すとしたら見過ごし難くない fact3: もしあのタックスがＰＲＥβ‐ＨＤＬならぎごちない fact4: もしもとあるものが捗々しいならばそれは前倒ししなくて了承しない fact5: もしもあのタックスが国内法上だとしたらターボモデルだということはないしかつそれは禁止する fact6: もし仮にあのタックスは統括班長でないけれどキラーファト運動であるとしたら「禁止しない」ということは本当だ fact7: もし仮に「あのギタリストは捗々しい」ということは事実ならこの当該受給者は捗々しい fact8: あのタックスは読み慣れないけれど如此しなら当該銀行でない fact9: もしもなにかは前倒ししなくて加えて了承しないならば立派過ぎない fact10: あのタックスは禁止する fact11: あのタックスはスネイプ城でない fact12: もしあのタックスが覚束無いならそれはヨーロッパ諸民族でないしかつ禁止する fact13: 「もしこの当該受給者が立派過ぎないならその金毘羅神社は独り言つか禁止するかもしくは両方ともである」ということは正しい fact14: 仮にそのパステル仕上げが捗々しいならあのギタリストは捗々しい fact15: あのタックスは磨り潰す fact16: もしあのタックスが禁止するということはないなら磨り潰すかまたはそれは見過ごし難いかもしくは両方だ fact17: この戦争がＰＲＥβ‐ＨＤＬであるならそれは新市場でなくて統括班長である fact18: あのクラスメートは禁止する ; $hypothesis$ = あのタックスは見過ごし難い ; $proof$ = 
fact1 & fact10 -> int1: あのタックスはＰＲＥβ‐ＨＤＬでないがしかし磨り潰す; fact2 -> int2: もしあのタックスがＰＲＥβ‐ＨＤＬでないけれどそれが磨り潰すとすればそれは見過ごし難くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にあのタックスが禁止するとするとそれはＰＲＥβ‐ＨＤＬでなくてそれは磨り潰す
事実2: とあるものはＰＲＥβ‐ＨＤＬでないが磨り潰すとしたら見過ごし難くない
事実3: もしあのタックスがＰＲＥβ‐ＨＤＬならぎごちない
事実4: もしもとあるものが捗々しいならばそれは前倒ししなくて了承しない
事実5: もしもあのタックスが国内法上だとしたらターボモデルだということはないしかつそれは禁止する
事実6: もし仮にあのタックスは統括班長でないけれどキラーファト運動であるとしたら「禁止しない」ということは本当だ
事実7: もし仮に「あのギタリストは捗々しい」ということは事実ならこの当該受給者は捗々しい
事実8: あのタックスは読み慣れないけれど如此しなら当該銀行でない
事実9: もしもなにかは前倒ししなくて加えて了承しないならば立派過ぎない
事実10: あのタックスは禁止する
事実11: あのタックスはスネイプ城でない
事実12: もしあのタックスが覚束無いならそれはヨーロッパ諸民族でないしかつ禁止する
事実13: 「もしこの当該受給者が立派過ぎないならその金毘羅神社は独り言つか禁止するかもしくは両方ともである」ということは正しい
事実14: 仮にそのパステル仕上げが捗々しいならあのギタリストは捗々しい
事実15: あのタックスは磨り潰す
事実16: もしあのタックスが禁止するということはないなら磨り潰すかまたはそれは見過ごし難いかもしくは両方だ
事実17: この戦争がＰＲＥβ‐ＨＤＬであるならそれは新市場でなくて統括班長である
事実18: あのクラスメートは禁止する

仮説: あのタックスは見過ごし難い
1. 事実1と事実10から、推論1: "あのタックスはＰＲＥβ‐ＨＤＬでないがしかし磨り潰す"が導かれる
2. 事実2から、推論2: "もしあのタックスがＰＲＥβ‐ＨＤＬでないけれどそれが磨り潰すとすればそれは見過ごし難くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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