あのぷくぷやLv.39は薬臭い
fact1: もし仮にあのぷくぷやLv.39がかったるいならばあのぷくぷやLv.39は薬臭い fact2: あのぷくぷやLv.39はかったるくてさらに御指導頂く
fact2 -> int1: あのぷくぷやLv.39はかったるい; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあのぷくぷやLv.39がかったるいならばあのぷくぷやLv.39は薬臭い fact2: あのぷくぷやLv.39はかったるくてさらに御指導頂く ; $hypothesis$ = あのぷくぷやLv.39は薬臭い ; $proof$ = 
fact2 -> int1: あのぷくぷやLv.39はかったるい; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__