the shrimp is polytheistic.
sent1: there is something such that it is not a Abudefduf and does not overawe gone. sent2: if there exists something such that the fact that it is a kind of a Vermeer and it does overawe goldbeater is incorrect then the annotator does not overawe goldbeater. sent3: there is something such that it does not tickle. sent4: if the translation is a lying but it is not a Vermeer then the punster is not a smoothbore. sent5: if something is not a Vermeer and it is not a praisworthiness the shrimp is not polytheistic. sent6: the translation is a kind of a lying. sent7: there is nothing that is not poetic and tags lividity. sent8: if the annotator does not tag lividity then it does not tag impromptu. sent9: the punster is not a praisworthiness if the fact that the woodbine is not antiferromagnetic but it is a praisworthiness is not true. sent10: the annotator is not a Vermeer if the translation does lie but it is not a smoothbore. sent11: the fact that something is a Vermeer and it does overawe goldbeater is not correct if it is not a praisworthiness. sent12: if the fact that the shrimp is not poetic but it does tag lividity is not true then it does not tag lividity. sent13: everything is a lying and not a smoothbore. sent14: the punster is not a Vermeer and it is not a praisworthiness if the annotator is not a Vermeer. sent15: something is not a kind of a Vermeer but it is a kind of a praisworthiness. sent16: something does not gauge convict and is not an earth. sent17: if that something is not polytheistic but it is wigless does not hold then it is not wigless. sent18: that something is not polytheistic but it is not wigged is incorrect if it does not tag impromptu. sent19: that the woodbine is not antiferromagnetic but it is a praisworthiness is not true. sent20: if the shrimp does not tag lividity the annotator does not tag lividity.
sent13 -> int1: the translation is both a lying and not a smoothbore.; sent10 & int1 -> int2: the annotator is not a Vermeer.; sent14 & int2 -> int3: the punster is both not a Vermeer and not a praisworthiness.; int3 -> int4: there exists something such that it is both not a Vermeer and not a praisworthiness.; int4 & sent5 -> hypothesis;
something does not overawe goldbeater and is not wigless.
sent11 -> int5: if the punster is not a praisworthiness then the fact that it is a Vermeer and overawes goldbeater does not hold.; sent9 & sent19 -> int6: the punster is not a kind of a praisworthiness.; int5 & int6 -> int7: the fact that the punster is a kind of a Vermeer and overawes goldbeater is wrong.; int7 -> int8: the fact that there exists something such that the fact that it is a Vermeer and overawes goldbeater is false hold.; int8 & sent2 -> int9: the annotator does not overawe goldbeater.; sent17 -> int10: the annotator is not wigless if the fact that it is not polytheistic and it is wigless does not hold.; sent18 -> int11: if the annotator does not tag impromptu then the fact that it is not polytheistic and it is wigless is not correct.; sent7 -> int12: that the shrimp is not poetic but it does tag lividity does not hold.; sent12 & int12 -> int13: the shrimp does not tag lividity.; sent20 & int13 -> int14: the annotator does not tag lividity.; sent8 & int14 -> int15: the annotator does not tag impromptu.; int11 & int15 -> int16: that the annotator is not polytheistic but it is wigless is wrong.; int10 & int16 -> int17: the annotator is not wigless.; int9 & int17 -> int18: the annotator does not overawe goldbeater and is not wigless.; int18 -> hypothesis;
$hypothesis$ = the shrimp is polytheistic. ; $context$ = sent1: there is something such that it is not a Abudefduf and does not overawe gone. sent2: if there exists something such that the fact that it is a kind of a Vermeer and it does overawe goldbeater is incorrect then the annotator does not overawe goldbeater. sent3: there is something such that it does not tickle. sent4: if the translation is a lying but it is not a Vermeer then the punster is not a smoothbore. sent5: if something is not a Vermeer and it is not a praisworthiness the shrimp is not polytheistic. sent6: the translation is a kind of a lying. sent7: there is nothing that is not poetic and tags lividity. sent8: if the annotator does not tag lividity then it does not tag impromptu. sent9: the punster is not a praisworthiness if the fact that the woodbine is not antiferromagnetic but it is a praisworthiness is not true. sent10: the annotator is not a Vermeer if the translation does lie but it is not a smoothbore. sent11: the fact that something is a Vermeer and it does overawe goldbeater is not correct if it is not a praisworthiness. sent12: if the fact that the shrimp is not poetic but it does tag lividity is not true then it does not tag lividity. sent13: everything is a lying and not a smoothbore. sent14: the punster is not a Vermeer and it is not a praisworthiness if the annotator is not a Vermeer. sent15: something is not a kind of a Vermeer but it is a kind of a praisworthiness. sent16: something does not gauge convict and is not an earth. sent17: if that something is not polytheistic but it is wigless does not hold then it is not wigless. sent18: that something is not polytheistic but it is not wigged is incorrect if it does not tag impromptu. sent19: that the woodbine is not antiferromagnetic but it is a praisworthiness is not true. sent20: if the shrimp does not tag lividity the annotator does not tag lividity. ; $proof$ = 
sent13 -> int1: the translation is both a lying and not a smoothbore.; sent10 & int1 -> int2: the annotator is not a Vermeer.; sent14 & int2 -> int3: the punster is both not a Vermeer and not a praisworthiness.; int3 -> int4: there exists something such that it is both not a Vermeer and not a praisworthiness.; int4 & sent5 -> hypothesis; __DISPROVED__