このみにゃみちゃLv.24は素っ気なくない
fact1: 全てのモンスターは御存じ無い fact2: あらゆるモンスターは勿体無い fact3: すべてのモンスターは痛ましい fact4: あらゆるモンスターは素っ気ない fact5: もし仮になんらかのモンスターは気まずいとすると「疲労し切るということはなくておまけにそれは素っ気ない」ということは誤りである
fact4 -> int1: あらゆるモンスターは素っ気ない; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
全てのモンスターは進め易い
fact6 -> int2: もしもこのぽえぽちゃLv.15は気まずいとすれば「それは疲労し切らないけれど素っ気ない」ということは事実と異なる;
$facts$ = fact1: 全てのモンスターは御存じ無い fact2: あらゆるモンスターは勿体無い fact3: すべてのモンスターは痛ましい fact4: あらゆるモンスターは素っ気ない fact5: もし仮になんらかのモンスターは気まずいとすると「疲労し切るということはなくておまけにそれは素っ気ない」ということは誤りである ; $hypothesis$ = このみにゃみちゃLv.24は素っ気なくない ; $proof$ = 
fact4 -> int1: あらゆるモンスターは素っ気ない; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__