「「もしも下さるけれど抽象代数学でないとすると「謎掛けでない」ということは本当である」ものはある」ということは誤りだ
fact1: 「漂い続けるしかつ無断侵入しないとすると狭くない」物はある fact2: もし仮にそのバンパイアが下さるけどそれは抽象代数学でないならそれは謎掛けだ fact3: 「下さるけれど抽象代数学だということはないとすると謎掛けである」ものはある fact4: 「もし仮に木目細かいけれど把握し難いということはないなら月経不順でない」物はある fact5: 生温いものは謎掛けであるということはないとしたら生き難いということはない fact6: もしあるものが差し込むがそれが純血でないとすればそれはＡＩＤＳウイルスでない fact7: 「もしも転げるしそれに先駆者組合型だということはないなら「散会するということはない」ということは事実な」ものはある fact8: そのバンパイアは下さるしそれに抽象代数学であるなら謎掛けでない fact9: 「仮に内耳であるし純血でないとしたら言い替えない」物はある fact10: もし仮にそのバンパイアは緩い一方で反落でないとしたら「それは下さるということはない」ということは成り立つ fact11: 「もしも下さるしさらに抽象代数学なら謎掛けでない」物はある fact12: そのバンパイアが下さるけれど抽象代数学でないなら謎掛けであるということはない fact13: あの親雲はスポーツマンらしいがしかしすりゃ良くないならば文化的伝統でない
fact12 -> hypothesis;
もしあの老人病院は生温いが謎掛けでないならば生き難くない
fact14 -> hypothesis;
$facts$ = fact1: 「漂い続けるしかつ無断侵入しないとすると狭くない」物はある fact2: もし仮にそのバンパイアが下さるけどそれは抽象代数学でないならそれは謎掛けだ fact3: 「下さるけれど抽象代数学だということはないとすると謎掛けである」ものはある fact4: 「もし仮に木目細かいけれど把握し難いということはないなら月経不順でない」物はある fact5: 生温いものは謎掛けであるということはないとしたら生き難いということはない fact6: もしあるものが差し込むがそれが純血でないとすればそれはＡＩＤＳウイルスでない fact7: 「もしも転げるしそれに先駆者組合型だということはないなら「散会するということはない」ということは事実な」ものはある fact8: そのバンパイアは下さるしそれに抽象代数学であるなら謎掛けでない fact9: 「仮に内耳であるし純血でないとしたら言い替えない」物はある fact10: もし仮にそのバンパイアは緩い一方で反落でないとしたら「それは下さるということはない」ということは成り立つ fact11: 「もしも下さるしさらに抽象代数学なら謎掛けでない」物はある fact12: そのバンパイアが下さるけれど抽象代数学でないなら謎掛けであるということはない fact13: あの親雲はスポーツマンらしいがしかしすりゃ良くないならば文化的伝統でない ; $hypothesis$ = 「「もしも下さるけれど抽象代数学でないとすると「謎掛けでない」ということは本当である」ものはある」ということは誤りだ ; $proof$ = 
fact12 -> hypothesis; __DISPROVED__
事実1: 「漂い続けるしかつ無断侵入しないとすると狭くない」物はある
事実2: もし仮にそのバンパイアが下さるけどそれは抽象代数学でないならそれは謎掛けだ
事実3: 「下さるけれど抽象代数学だということはないとすると謎掛けである」ものはある
事実4: 「もし仮に木目細かいけれど把握し難いということはないなら月経不順でない」物はある
事実5: 生温いものは謎掛けであるということはないとしたら生き難いということはない
事実6: もしあるものが差し込むがそれが純血でないとすればそれはＡＩＤＳウイルスでない
事実7: 「もしも転げるしそれに先駆者組合型だということはないなら「散会するということはない」ということは事実な」ものはある
事実8: そのバンパイアは下さるしそれに抽象代数学であるなら謎掛けでない
事実9: 「仮に内耳であるし純血でないとしたら言い替えない」物はある
事実10: もし仮にそのバンパイアは緩い一方で反落でないとしたら「それは下さるということはない」ということは成り立つ
事実11: 「もしも下さるしさらに抽象代数学なら謎掛けでない」物はある
事実12: そのバンパイアが下さるけれど抽象代数学でないなら謎掛けであるということはない
事実13: あの親雲はスポーツマンらしいがしかしすりゃ良くないならば文化的伝統でない

仮説: 「「もしも下さるけれど抽象代数学でないとすると「謎掛けでない」ということは本当である」ものはある」ということは誤りだ
1. 事実12から、仮説が否定される

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