そのみよみにょLv.62は御理解下さらない
fact1: すべてのモンスターは御理解下さる fact2: 仮になにがしかのモンスターが復号化出来ないかもしくは真っ白くないかもしくは両方ともだとするとそれは復号化出来ない fact3: 全てのモンスターは御辛い fact4: もし仮に「何らかのモンスターが真っ白いしその上それは復号化出来る」ということは嘘であるとしたら御理解下さらない
fact1 -> int1: すべてのモンスターは御理解下さる; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
あらゆるモンスターは懐かしい
fact5 -> int2: もしもそのみよみにょLv.62が復号化出来ないかあるいは真っ白くないかもしくは両方ともであるとすればそのみよみにょLv.62は復号化出来ない; fact6 -> int3: そのみよみにょLv.62は御辛い;
$facts$ = fact1: すべてのモンスターは御理解下さる fact2: 仮になにがしかのモンスターが復号化出来ないかもしくは真っ白くないかもしくは両方ともだとするとそれは復号化出来ない fact3: 全てのモンスターは御辛い fact4: もし仮に「何らかのモンスターが真っ白いしその上それは復号化出来る」ということは嘘であるとしたら御理解下さらない ; $hypothesis$ = そのみよみにょLv.62は御理解下さらない ; $proof$ = 
fact1 -> int1: すべてのモンスターは御理解下さる; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__