the vardenafil is a chauffeur.
sent1: something is a Yugoslav if it is nonprehensile. sent2: if something is not restful it is nonprehensile and it is a Yugoslav. sent3: the vardenafil is not a settler and it is not a rye. sent4: the vardenafil is not a settler. sent5: the vardenafil is nonprehensile if it is a kind of a settler and it is not a rye. sent6: the vardenafil is a chauffeur if it is a Yugoslav. sent7: if the vardenafil is not a kind of a settler and it is not a rye it is nonprehensile.
sent7 & sent3 -> int1: the fact that the vardenafil is nonprehensile hold.; sent1 -> int2: if the vardenafil is nonprehensile it is a Yugoslav.; int1 & int2 -> int3: that the vardenafil is a kind of a Yugoslav is true.; int3 & sent6 -> hypothesis;
that the vardenafil is not a chauffeur hold.
sent2 -> int4: if the vardenafil is not restful then it is a kind of nonprehensile a Yugoslav.;
$hypothesis$ = the vardenafil is a chauffeur. ; $context$ = sent1: something is a Yugoslav if it is nonprehensile. sent2: if something is not restful it is nonprehensile and it is a Yugoslav. sent3: the vardenafil is not a settler and it is not a rye. sent4: the vardenafil is not a settler. sent5: the vardenafil is nonprehensile if it is a kind of a settler and it is not a rye. sent6: the vardenafil is a chauffeur if it is a Yugoslav. sent7: if the vardenafil is not a kind of a settler and it is not a rye it is nonprehensile. ; $proof$ = 
sent7 & sent3 -> int1: the fact that the vardenafil is nonprehensile hold.; sent1 -> int2: if the vardenafil is nonprehensile it is a Yugoslav.; int1 & int2 -> int3: that the vardenafil is a kind of a Yugoslav is true.; int3 & sent6 -> hypothesis; __PROVED__