このぴちゃぴにょLv.72は親しない
fact1: もし仮に何らかのモンスターが揺れ動かないなら親しないが呼び為さる fact2: あらゆるモンスターは親し
fact2 -> int1: あらゆるモンスターは親し; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あらゆるモンスターは呼び為さる
fact3 -> int2: もし仮に「このぴちゃぴにょLv.72は揺れ動かない」ということは本当であるとするとこのぴちゃぴにょLv.72は親しないがしかし呼び為さる;
$facts$ = fact1: もし仮に何らかのモンスターが揺れ動かないなら親しないが呼び為さる fact2: あらゆるモンスターは親し ; $hypothesis$ = このぴちゃぴにょLv.72は親しない ; $proof$ = 
fact2 -> int1: あらゆるモンスターは親し; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__