このぷえぷなLv.36は住み易い
fact1: このぷえぷなLv.36が猛ればそれは住み易い fact2: もしも「何らかのモンスターは猛るけど相争わない」ということは成り立つということはないとすると住み易くない fact3: このぷえぷなLv.36は猛る
fact3 -> int1: このぷえぷなLv.36は猛る; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
このぷえぷなLv.36は住み易くない
fact4 -> int2: もしも「このぷえぷなLv.36は猛るがしかし相争わない」ということは嘘ならばそれは住み易くない;
$facts$ = fact1: このぷえぷなLv.36が猛ればそれは住み易い fact2: もしも「何らかのモンスターは猛るけど相争わない」ということは成り立つということはないとすると住み易くない fact3: このぷえぷなLv.36は猛る ; $hypothesis$ = このぷえぷなLv.36は住み易い ; $proof$ = 
fact3 -> int1: このぷえぷなLv.36は猛る; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__