あのみえみのLv.96は子供らしい
fact1: 仮に何らかのモンスターは誘発し易くないとしたらそれは子供らしいし読み返す fact2: もし仮にとあるモンスターは読み返さないとすれば「黄色くないしまた解け易くない」ということは正しくない fact3: もし「あのみえみのLv.96は黄色くなくて解け易くない」ということは間違いだとすると子供らしくない fact4: あのみえみのLv.96は読み返さない
fact2 -> int1: もしもあのみえみのLv.96は読み返さないならば「黄色くないしそれは解け易いということはない」ということは偽だ; int1 & fact4 -> int2: 「あのみえみのLv.96は黄色くなくてさらに解け易くない」ということは嘘である; int2 & fact3 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis;
あのみえみのLv.96は子供らしい
fact5 -> int3: 「あのみえみのLv.96は誘発し易くない」ということは真実であるとするとあのみえみのLv.96は子供らしいし読み返す;
$facts$ = fact1: 仮に何らかのモンスターは誘発し易くないとしたらそれは子供らしいし読み返す fact2: もし仮にとあるモンスターは読み返さないとすれば「黄色くないしまた解け易くない」ということは正しくない fact3: もし「あのみえみのLv.96は黄色くなくて解け易くない」ということは間違いだとすると子供らしくない fact4: あのみえみのLv.96は読み返さない ; $hypothesis$ = あのみえみのLv.96は子供らしい ; $proof$ = 
fact2 -> int1: もしもあのみえみのLv.96は読み返さないならば「黄色くないしそれは解け易いということはない」ということは偽だ; int1 & fact4 -> int2: 「あのみえみのLv.96は黄色くなくてさらに解け易くない」ということは嘘である; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis; __DISPROVED__