the Leonberg does lather wainscot.
sent1: if there is something such that it is a stapedectomy then that the oddity is a Charlotte and it does perch is false. sent2: that the sampler is not a Penicillium hold if it lathers Rhenish. sent3: if the oddity is not a stapedectomy that the Leonberg does lather wainscot but it is not a Charlotte is not right. sent4: there is something such that it is a stapedectomy. sent5: if something is a kind of a breast then that it is skinless is correct. sent6: if there is something such that that it is a Charlotte and it does perch is not correct then that the sampler is a breast is not false. sent7: something does not lather wainscot if the fact that it does lather wainscot and it is not a Charlotte is not right. sent8: the Leonberg lathers wainscot if something is not a Penicillium. sent9: the sampler is not a kind of a Penicillium if it does lather Rhenish or it is skinless or both.
sent4 & sent1 -> int1: the fact that the oddity is a Charlotte that does perch does not hold.; int1 -> int2: there is something such that that it is a kind of a Charlotte that is a perch is not right.; int2 & sent6 -> int3: the sampler is a breast.; sent5 -> int4: if the sampler is a kind of a breast it is skinless.; int3 & int4 -> int5: the sampler is skinless.; int5 -> int6: the sampler lathers Rhenish and/or is skinless.; int6 & sent9 -> int7: the sampler is not a Penicillium.; int7 -> int8: something is not a kind of a Penicillium.; int8 & sent8 -> hypothesis;
the Leonberg does not lather wainscot.
sent7 -> int9: that if that the Leonberg does lather wainscot and is not a kind of the Charlotte is not right then the Leonberg does not lather wainscot is true.;
$hypothesis$ = the Leonberg does lather wainscot. ; $context$ = sent1: if there is something such that it is a stapedectomy then that the oddity is a Charlotte and it does perch is false. sent2: that the sampler is not a Penicillium hold if it lathers Rhenish. sent3: if the oddity is not a stapedectomy that the Leonberg does lather wainscot but it is not a Charlotte is not right. sent4: there is something such that it is a stapedectomy. sent5: if something is a kind of a breast then that it is skinless is correct. sent6: if there is something such that that it is a Charlotte and it does perch is not correct then that the sampler is a breast is not false. sent7: something does not lather wainscot if the fact that it does lather wainscot and it is not a Charlotte is not right. sent8: the Leonberg lathers wainscot if something is not a Penicillium. sent9: the sampler is not a kind of a Penicillium if it does lather Rhenish or it is skinless or both. ; $proof$ = 
sent4 & sent1 -> int1: the fact that the oddity is a Charlotte that does perch does not hold.; int1 -> int2: there is something such that that it is a kind of a Charlotte that is a perch is not right.; int2 & sent6 -> int3: the sampler is a breast.; sent5 -> int4: if the sampler is a kind of a breast it is skinless.; int3 & int4 -> int5: the sampler is skinless.; int5 -> int6: the sampler lathers Rhenish and/or is skinless.; int6 & sent9 -> int7: the sampler is not a Penicillium.; int7 -> int8: something is not a kind of a Penicillium.; int8 & sent8 -> hypothesis; __PROVED__