このＷアーは呪わしいということはない
fact1: その防火設備は赤黒い fact2: 「その防火設備は若くて塗り直す」ということは成り立たない fact3: もし仮に何かは笑い始めるなら「「それは複雑化しないしその上運営規程だ」ということは間違っていない」ということは偽である fact4: もしその防火設備は赤黒いとしたら「それは若くないけれど塗り直す」ということは事実と異なる fact5: もし仮に「その防火設備は若くない一方でそれは塗り直す」ということは嘘ならばこのＷアーは呪わしい
fact4 & fact1 -> int1: 「その防火設備は若くないが塗り直す」ということは間違っている; int1 & fact5 -> hypothesis;
fact4 & fact1 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact5 -> hypothesis;
もし仮にあの大牧温泉観光旅館は笑い始めるとしたら「それは複雑化するということはなくて加えて運営規程だ」ということは成り立たない
fact6 -> hypothesis;
$facts$ = fact1: その防火設備は赤黒い fact2: 「その防火設備は若くて塗り直す」ということは成り立たない fact3: もし仮に何かは笑い始めるなら「「それは複雑化しないしその上運営規程だ」ということは間違っていない」ということは偽である fact4: もしその防火設備は赤黒いとしたら「それは若くないけれど塗り直す」ということは事実と異なる fact5: もし仮に「その防火設備は若くない一方でそれは塗り直す」ということは嘘ならばこのＷアーは呪わしい ; $hypothesis$ = このＷアーは呪わしいということはない ; $proof$ = 
fact4 & fact1 -> int1: 「その防火設備は若くないが塗り直す」ということは間違っている; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: その防火設備は赤黒い
事実2: 「その防火設備は若くて塗り直す」ということは成り立たない
事実3: もし仮に何かは笑い始めるなら「「それは複雑化しないしその上運営規程だ」ということは間違っていない」ということは偽である
事実4: もしその防火設備は赤黒いとしたら「それは若くないけれど塗り直す」ということは事実と異なる
事実5: もし仮に「その防火設備は若くない一方でそれは塗り直す」ということは嘘ならばこのＷアーは呪わしい

仮説: このＷアーは呪わしいということはない
1. 事実4と事実1から、推論1: "「その防火設備は若くないが塗り直す」ということは間違っている"が導かれる
2. 推論1と事実5から、仮説が否定される

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