「「もしも「汚いということはなくてしかも薄ら寒い」ということは成り立たないなら物悲しくない」モンスターはいる」ということは事実でない
fact1: もしも「このまわまやLv.17は編纂・発行するということはないが含浸する」ということは成り立たないとしたら捕らわれ易くない fact2: 「なにがしかのモンスターは汚いということはないモンスターであって薄ら寒い」ということは嘘ならそれは物悲しくない fact3: もしもこのまわまやLv.17は汚くないけれど薄ら寒いとしたらそれは物悲しくない fact4: もしもなにがしかのモンスターが通学出来るとすれば突撃するということはない
fact2 -> int1: もし「「このまわまやLv.17は汚くないがしかし薄ら寒い」ということは成り立つ」ということは偽だとするとそれは物悲しいということはない; int1 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしも「このまわまやLv.17は編纂・発行するということはないが含浸する」ということは成り立たないとしたら捕らわれ易くない fact2: 「なにがしかのモンスターは汚いということはないモンスターであって薄ら寒い」ということは嘘ならそれは物悲しくない fact3: もしもこのまわまやLv.17は汚くないけれど薄ら寒いとしたらそれは物悲しくない fact4: もしもなにがしかのモンスターが通学出来るとすれば突撃するということはない ; $hypothesis$ = 「「もしも「汚いということはなくてしかも薄ら寒い」ということは成り立たないなら物悲しくない」モンスターはいる」ということは事実でない ; $proof$ = 
fact2 -> int1: もし「「このまわまやLv.17は汚くないがしかし薄ら寒い」ということは成り立つ」ということは偽だとするとそれは物悲しいということはない; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__