the Bovril does not entertain.
sent1: if the Bovril does not camber disfigurement then it does not rotate Dormition and/or it does not camber lechery. sent2: the Bovril is not a cavalla. sent3: if the lechery does not pother then it entertains. sent4: the lady is not a cavalla. sent5: the arquebus does not entertain. sent6: the fact that if the lady pipes and appoints the Bovril does not entertain is correct. sent7: the lady entertains. sent8: the Bovril does suffice. sent9: if the Bovril pipes and it is a cavalla the lady does not appoint. sent10: if something that does appoint does normalize then the fact that it is not a pipe hold. sent11: something does not camber lechery but it does rotate Dormition. sent12: the lady does appoint. sent13: if the Bovril does not rotate Dormition then it does normalize. sent14: if something does not entertain and/or it normalizes then it pipes. sent15: the Bovril does appoint and rotates ischium. sent16: the fact that the Bovril appoints is correct. sent17: if the lady does not entertain it is a pipe. sent18: the Bovril does not camber disfigurement. sent19: the coralwood is a cavalla if it is not indistinguishable. sent20: if the snake is not a cavalla then it is a kind of a Reiter. sent21: the lady does camber icosahedron if it does not appoint. sent22: if the fact that something does not camber lechery but it does rotate Dormition is not false the lady suffices. sent23: if the barbell does not entertain it is a kind of a crest. sent24: the lady does pipe if it is not a kind of a cavalla.
sent24 & sent4 -> int1: the lady pipes.; int1 & sent12 -> int2: the lady pipes and it does appoint.; int2 & sent6 -> hypothesis;
the Bovril does entertain.
sent10 -> int3: if the fact that the Bovril appoints and it does normalize is right then it does not pipe.; sent1 & sent18 -> int4: the Bovril does not rotate Dormition and/or it does not camber lechery.;
$hypothesis$ = the Bovril does not entertain. ; $context$ = sent1: if the Bovril does not camber disfigurement then it does not rotate Dormition and/or it does not camber lechery. sent2: the Bovril is not a cavalla. sent3: if the lechery does not pother then it entertains. sent4: the lady is not a cavalla. sent5: the arquebus does not entertain. sent6: the fact that if the lady pipes and appoints the Bovril does not entertain is correct. sent7: the lady entertains. sent8: the Bovril does suffice. sent9: if the Bovril pipes and it is a cavalla the lady does not appoint. sent10: if something that does appoint does normalize then the fact that it is not a pipe hold. sent11: something does not camber lechery but it does rotate Dormition. sent12: the lady does appoint. sent13: if the Bovril does not rotate Dormition then it does normalize. sent14: if something does not entertain and/or it normalizes then it pipes. sent15: the Bovril does appoint and rotates ischium. sent16: the fact that the Bovril appoints is correct. sent17: if the lady does not entertain it is a pipe. sent18: the Bovril does not camber disfigurement. sent19: the coralwood is a cavalla if it is not indistinguishable. sent20: if the snake is not a cavalla then it is a kind of a Reiter. sent21: the lady does camber icosahedron if it does not appoint. sent22: if the fact that something does not camber lechery but it does rotate Dormition is not false the lady suffices. sent23: if the barbell does not entertain it is a kind of a crest. sent24: the lady does pipe if it is not a kind of a cavalla. ; $proof$ = 
sent24 & sent4 -> int1: the lady pipes.; int1 & sent12 -> int2: the lady pipes and it does appoint.; int2 & sent6 -> hypothesis; __PROVED__