the lettuce is protrusive.
sent1: the barrow is a eschar and it is an indignity if there is something such that it is an instrumentality. sent2: if something is not Zimbabwean but it is gingival then it is not Marian. sent3: the transposon is not Zimbabwean. sent4: the umbel is a corbelled if the accordion does not soften. sent5: if the fact that the birdcage shoots Kwannon hold then the lettuce is protrusive. sent6: if there is something such that the fact that it does commutate maze and it is a dumpcart is not true the masturbation does shoot Kwannon. sent7: if that the cornpone is not a kind of a shantytown is not false then the birdcage shoots Kwannon and is protrusive. sent8: the somniloquist is a dumpcart. sent9: the transposon is not disintegrative. sent10: if the lettuce does commutate maze the masturbation is protrusive. sent11: there is nothing that commutates maze and is a dumpcart. sent12: if there is something such that it is not a dumpcart the birdcage does shoot Kwannon. sent13: the antler is not a kind of a Lithuanian if the fact that the antitauon is Lithuanian and it is not linguistics does not hold. sent14: the fact that the lettuce shoots Kwannon and is protrusive is not correct. sent15: if the birdcage is protrusive then the fact that the lettuce is not protrusive is right. sent16: the transposon shoots Christie and is gingival if it is not disintegrative. sent17: the motile is an instrumentality and it is rh-negative if there is something such that it is a corbelled. sent18: there exists nothing such that it is a Haman that does rival suffragism. sent19: if that the barrow is a eschar is correct that the antitauon is not a kind of a Lithuanian and it is not linguistics is not correct. sent20: the fact that the matchwood does not litigate and is amphitropous is not true if the antler is non-Lithuanian. sent21: the accordion does not soften if the transposon is not Marian.
sent11 -> int1: that the masturbation commutates maze and it is a kind of a dumpcart is wrong.; int1 -> int2: there is something such that the fact that it does commutate maze and is a dumpcart does not hold.;
the lettuce is not protrusive.
sent2 -> int3: if the transposon is not a Zimbabwean but it is gingival then it is not Marian.; sent16 & sent9 -> int4: the transposon shoots Christie and is gingival.; int4 -> int5: the transposon is gingival.; sent3 & int5 -> int6: the transposon is not a Zimbabwean but it is gingival.; int3 & int6 -> int7: the transposon is not Marian.; sent21 & int7 -> int8: the accordion does not soften.; sent4 & int8 -> int9: the umbel is a corbelled.; int9 -> int10: something does corbel.; int10 & sent17 -> int11: the motile is both an instrumentality and rh-negative.; int11 -> int12: the motile is an instrumentality.; int12 -> int13: something is a kind of an instrumentality.; int13 & sent1 -> int14: the barrow is a eschar and it is an indignity.; int14 -> int15: the barrow is a eschar.; sent19 & int15 -> int16: the fact that the antitauon is not a kind of a Lithuanian and it is not linguistics is incorrect.; sent13 & int16 -> int17: the antler is not Lithuanian.; sent20 & int17 -> int18: the fact that the fact that the matchwood does not litigate but it is amphitropous is false is correct.; int18 -> int19: there exists something such that that it does not litigate and it is amphitropous is wrong.;
$hypothesis$ = the lettuce is protrusive. ; $context$ = sent1: the barrow is a eschar and it is an indignity if there is something such that it is an instrumentality. sent2: if something is not Zimbabwean but it is gingival then it is not Marian. sent3: the transposon is not Zimbabwean. sent4: the umbel is a corbelled if the accordion does not soften. sent5: if the fact that the birdcage shoots Kwannon hold then the lettuce is protrusive. sent6: if there is something such that the fact that it does commutate maze and it is a dumpcart is not true the masturbation does shoot Kwannon. sent7: if that the cornpone is not a kind of a shantytown is not false then the birdcage shoots Kwannon and is protrusive. sent8: the somniloquist is a dumpcart. sent9: the transposon is not disintegrative. sent10: if the lettuce does commutate maze the masturbation is protrusive. sent11: there is nothing that commutates maze and is a dumpcart. sent12: if there is something such that it is not a dumpcart the birdcage does shoot Kwannon. sent13: the antler is not a kind of a Lithuanian if the fact that the antitauon is Lithuanian and it is not linguistics does not hold. sent14: the fact that the lettuce shoots Kwannon and is protrusive is not correct. sent15: if the birdcage is protrusive then the fact that the lettuce is not protrusive is right. sent16: the transposon shoots Christie and is gingival if it is not disintegrative. sent17: the motile is an instrumentality and it is rh-negative if there is something such that it is a corbelled. sent18: there exists nothing such that it is a Haman that does rival suffragism. sent19: if that the barrow is a eschar is correct that the antitauon is not a kind of a Lithuanian and it is not linguistics is not correct. sent20: the fact that the matchwood does not litigate and is amphitropous is not true if the antler is non-Lithuanian. sent21: the accordion does not soften if the transposon is not Marian. ; $proof$ = 
sent11 -> int1: that the masturbation commutates maze and it is a kind of a dumpcart is wrong.; int1 -> int2: there is something such that the fact that it does commutate maze and is a dumpcart does not hold.; __UNKNOWN__