the minivan does not covet 1728.
sent1: there is something such that it is nonruminant. sent2: something is not a kind of a babassu if that it is a chord and is a kind of a marsupial is not true. sent3: if the flotsam is not a crockery and is a Kurdish the underseller is a Saudi. sent4: the choc-ice rouses and is a kilohertz. sent5: there exists something such that the fact that it is a kind of nonruminant thing that is not a peck is false. sent6: the fact that the Monsieur is a papilla and it is Kurdish is incorrect if the drop is not a babassu. sent7: the fact that the drop is not a papilla is correct if a marsupial thing does not chord. sent8: if there exists something such that it is not ruminant then the Monsieur is marsupial but it is not a chord. sent9: the drop is a kind of a marsupial but it is not a kilohertz. sent10: the flotsam is not a kind of a crockery if the choc-ice rouses and it is a kilohertz. sent11: if the flotsam is a crockery the choc-ice is not a Kurdish and/or it does not covet 1728. sent12: something is a crockery or it is a kind of a Kurdish or both if it is not a Saudi. sent13: that the drop is both a chord and a marsupial is not correct if the tenderloin is not nonruminant. sent14: the minivan does not covet 1728 if the drop is a kind of a gloss that is not a kind of a babassu. sent15: the drop glosses if the terror is a bowls. sent16: the Monsieur is a kind of a papilla. sent17: if the underseller is a crockery then that the flotsam is a crockery hold. sent18: if the Monsieur is a papilla the underseller is not a Saudi. sent19: the drop is not a Saudi if the terror is a bowls that does gloss. sent20: that if the choc-ice is not Kurdish that the minivan covets 1728 is not incorrect is true. sent21: if there is something such that the fact that it is nonruminant and not a peck is false then the tenderloin is not nonruminant. sent22: something is not a babassu or a gloss or both if it is not a kind of a papilla.
sent10 & sent4 -> int1: the flotsam is not a crockery.; void -> assump1: Let's assume that the flotsam is a kind of a Kurdish.; int1 & assump1 -> int2: the flotsam is not a crockery but it is a kind of a Kurdish.; int2 & sent3 -> int3: the fact that the underseller is a kind of a Saudi is right.; sent18 & sent16 -> int4: that the underseller is not a Saudi is right.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the flotsam is not Kurdish.; sent2 -> int7: if that the drop is a chord and a marsupial is not correct it is not a babassu.; sent5 & sent21 -> int8: the tenderloin is not nonruminant.; sent13 & int8 -> int9: that the drop does chord and is marsupial is not true.; int7 & int9 -> int10: that the drop is not a babassu is right.;
the minivan covets 1728.
sent12 -> int11: the choc-ice is a crockery and/or it is a Kurdish if it is not a kind of a Saudi.;
$hypothesis$ = the minivan does not covet 1728. ; $context$ = sent1: there is something such that it is nonruminant. sent2: something is not a kind of a babassu if that it is a chord and is a kind of a marsupial is not true. sent3: if the flotsam is not a crockery and is a Kurdish the underseller is a Saudi. sent4: the choc-ice rouses and is a kilohertz. sent5: there exists something such that the fact that it is a kind of nonruminant thing that is not a peck is false. sent6: the fact that the Monsieur is a papilla and it is Kurdish is incorrect if the drop is not a babassu. sent7: the fact that the drop is not a papilla is correct if a marsupial thing does not chord. sent8: if there exists something such that it is not ruminant then the Monsieur is marsupial but it is not a chord. sent9: the drop is a kind of a marsupial but it is not a kilohertz. sent10: the flotsam is not a kind of a crockery if the choc-ice rouses and it is a kilohertz. sent11: if the flotsam is a crockery the choc-ice is not a Kurdish and/or it does not covet 1728. sent12: something is a crockery or it is a kind of a Kurdish or both if it is not a Saudi. sent13: that the drop is both a chord and a marsupial is not correct if the tenderloin is not nonruminant. sent14: the minivan does not covet 1728 if the drop is a kind of a gloss that is not a kind of a babassu. sent15: the drop glosses if the terror is a bowls. sent16: the Monsieur is a kind of a papilla. sent17: if the underseller is a crockery then that the flotsam is a crockery hold. sent18: if the Monsieur is a papilla the underseller is not a Saudi. sent19: the drop is not a Saudi if the terror is a bowls that does gloss. sent20: that if the choc-ice is not Kurdish that the minivan covets 1728 is not incorrect is true. sent21: if there is something such that the fact that it is nonruminant and not a peck is false then the tenderloin is not nonruminant. sent22: something is not a babassu or a gloss or both if it is not a kind of a papilla. ; $proof$ = 
sent10 & sent4 -> int1: the flotsam is not a crockery.; void -> assump1: Let's assume that the flotsam is a kind of a Kurdish.; int1 & assump1 -> int2: the flotsam is not a crockery but it is a kind of a Kurdish.; int2 & sent3 -> int3: the fact that the underseller is a kind of a Saudi is right.; sent18 & sent16 -> int4: that the underseller is not a Saudi is right.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the flotsam is not Kurdish.; sent2 -> int7: if that the drop is a chord and a marsupial is not correct it is not a babassu.; sent5 & sent21 -> int8: the tenderloin is not nonruminant.; sent13 & int8 -> int9: that the drop does chord and is marsupial is not true.; int7 & int9 -> int10: that the drop is not a babassu is right.; __UNKNOWN__