「このぽちゃぽなLv.93は移転するしぎこちない」ということは成り立たない
fact1: このぽちゃぽなLv.93は見え辛い fact2: このぽちゃぽなLv.93はぎこちない fact3: もしこのぽちゃぽなLv.93が見え辛いとすればこのぽちゃぽなLv.93は移転する
fact3 & fact1 -> int1: このぽちゃぽなLv.93は移転する; int1 & fact2 -> hypothesis;
fact3 & fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: このぽちゃぽなLv.93は見え辛い fact2: このぽちゃぽなLv.93はぎこちない fact3: もしこのぽちゃぽなLv.93が見え辛いとすればこのぽちゃぽなLv.93は移転する ; $hypothesis$ = 「このぽちゃぽなLv.93は移転するしぎこちない」ということは成り立たない ; $proof$ = 
fact3 & fact1 -> int1: このぽちゃぽなLv.93は移転する; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __DISPROVED__