あのまにまなLv.29は発生し易い
fact1: このぷのぷやLv.54が堅苦しいならあのまにまなLv.29はそつ無い fact2: もしあのまにまなLv.29がそつ無いならば発生し易い fact3: このぷのぷやLv.54は腐乱するしかつ堅苦しい
fact3 -> int1: このぷのぷやLv.54は堅苦しい; int1 & fact1 -> int2: あのまにまなLv.29はそつ無い; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このぷのぷやLv.54が堅苦しいならあのまにまなLv.29はそつ無い fact2: もしあのまにまなLv.29がそつ無いならば発生し易い fact3: このぷのぷやLv.54は腐乱するしかつ堅苦しい ; $hypothesis$ = あのまにまなLv.29は発生し易い ; $proof$ = 
fact3 -> int1: このぷのぷやLv.54は堅苦しい; int1 & fact1 -> int2: あのまにまなLv.29はそつ無い; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __PROVED__