「もし仮に降格するしさらに淡いなら捨つない」モンスターはいる
fact1: もし仮にそのみのみくLv.61が降格するし加えてそれが淡いとすればそれは捨つない fact2: もしもこのぴゆぴなLv.52が遣る瀬無いしまた淡いならこのぴゆぴなLv.52は薄汚くない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もし仮にそのみのみくLv.61が降格するし加えてそれが淡いとすればそれは捨つない fact2: もしもこのぴゆぴなLv.52が遣る瀬無いしまた淡いならこのぴゆぴなLv.52は薄汚くない ; $hypothesis$ = 「もし仮に降格するしさらに淡いなら捨つない」モンスターはいる ; $proof$ = 
fact1 -> hypothesis; __PROVED__
fact1 -> hypothesis; __PROVED__