something is not a high-low-jack and it is not a woodcutter.
sent1: if the geezer is not slippery the fact that the racket is not a kind of an impersonation is correct. sent2: the bonnet is not a high-low-jack if the fact that the geezer does not respect manned is correct. sent3: if the geezer is an impersonation then the bonnet is not a high-low-jack. sent4: if the fact that the racket is siding thing that is slippery is incorrect the bonnet is not a kind of a woodcutter. sent5: something is not a high-low-jack and is a kind of a woodcutter. sent6: the bonnet is not a woodcutter if the fact that the racket is not slippery is not incorrect. sent7: the catostomid is not a keyboard and not a cornea. sent8: there is something such that it is a kind of a cornea. sent9: the geezer is an impersonation or it does not respect manned or both if there exists something such that the fact that it does not corn is right. sent10: something is not a high-low-jack. sent11: that the racket is not non-siding and not nonslippery is not true.
sent7 -> int1: the catostomid is not a cornea.; int1 -> int2: there exists something such that it does not corn.; int2 & sent9 -> int3: the geezer either is a kind of an impersonation or does not respect manned or both.; int3 & sent3 & sent2 -> int4: the bonnet is not a high-low-jack.; sent4 & sent11 -> int5: the bonnet is not a woodcutter.; int4 & int5 -> int6: the bonnet is not a high-low-jack and not a woodcutter.; int6 -> hypothesis;
$hypothesis$ = something is not a high-low-jack and it is not a woodcutter. ; $context$ = sent1: if the geezer is not slippery the fact that the racket is not a kind of an impersonation is correct. sent2: the bonnet is not a high-low-jack if the fact that the geezer does not respect manned is correct. sent3: if the geezer is an impersonation then the bonnet is not a high-low-jack. sent4: if the fact that the racket is siding thing that is slippery is incorrect the bonnet is not a kind of a woodcutter. sent5: something is not a high-low-jack and is a kind of a woodcutter. sent6: the bonnet is not a woodcutter if the fact that the racket is not slippery is not incorrect. sent7: the catostomid is not a keyboard and not a cornea. sent8: there is something such that it is a kind of a cornea. sent9: the geezer is an impersonation or it does not respect manned or both if there exists something such that the fact that it does not corn is right. sent10: something is not a high-low-jack. sent11: that the racket is not non-siding and not nonslippery is not true. ; $proof$ = 
sent7 -> int1: the catostomid is not a cornea.; int1 -> int2: there exists something such that it does not corn.; int2 & sent9 -> int3: the geezer either is a kind of an impersonation or does not respect manned or both.; int3 & sent3 & sent2 -> int4: the bonnet is not a high-low-jack.; sent4 & sent11 -> int5: the bonnet is not a woodcutter.; int4 & int5 -> int6: the bonnet is not a high-low-jack and not a woodcutter.; int6 -> hypothesis; __PROVED__