the trifle does not bargain trifle and caricatures fettle.
sent1: the trifle does not reject if the fact that the fact that the restraint reject and it is achondritic does not hold is correct. sent2: the zinfandel does caricature craps. sent3: if the trifle does not reject then the fact that it is a X-ray and not a schooling is not true. sent4: the fact that the sorgo is not a afterdamp but it is a kind of a net is wrong if that the zinfandel is not net is true. sent5: the fact that the restraint is a afterdamp and it is achondritic is incorrect. sent6: if that something is a X-ray but it does not school is not correct it does caricature fettle. sent7: if either something is a suffocation or it caricatures craps or both then it is not a kind of a net. sent8: if the zinfandel is not a kind of a net then that that the sorgo is a afterdamp and it is a net is right is wrong. sent9: that the restraint does reject and is achondritic is not correct. sent10: if something is a kind of a schooling it caricatures fettle. sent11: that the trifle does not bargain trifle but it does caricature fettle is not correct if the zinfandel is not a suffocation. sent12: The craps does caricature zinfandel. sent13: the trifle does not bargain trifle if that the sorgo is not a kind of a afterdamp but it is a net does not hold.
sent2 -> int1: the zinfandel either is a suffocation or does caricature craps or both.; sent7 -> int2: the zinfandel is not a net if it is a kind of a suffocation and/or does caricature craps.; int1 & int2 -> int3: the zinfandel is not net.; int3 & sent4 -> int4: the fact that the sorgo is not a kind of a afterdamp but it does net is not right.; int4 & sent13 -> int5: the trifle does not bargain trifle.; sent6 -> int6: if that the trifle is a X-ray but it does not school does not hold it does caricature fettle.; sent1 & sent9 -> int7: the trifle does not reject.; sent3 & int7 -> int8: that that the trifle is a X-ray but it is not a schooling is wrong is not false.; int6 & int8 -> int9: the trifle caricatures fettle.; int5 & int9 -> hypothesis;
the fact that the trifle does not bargain trifle but it caricatures fettle is incorrect.
$hypothesis$ = the trifle does not bargain trifle and caricatures fettle. ; $context$ = sent1: the trifle does not reject if the fact that the fact that the restraint reject and it is achondritic does not hold is correct. sent2: the zinfandel does caricature craps. sent3: if the trifle does not reject then the fact that it is a X-ray and not a schooling is not true. sent4: the fact that the sorgo is not a afterdamp but it is a kind of a net is wrong if that the zinfandel is not net is true. sent5: the fact that the restraint is a afterdamp and it is achondritic is incorrect. sent6: if that something is a X-ray but it does not school is not correct it does caricature fettle. sent7: if either something is a suffocation or it caricatures craps or both then it is not a kind of a net. sent8: if the zinfandel is not a kind of a net then that that the sorgo is a afterdamp and it is a net is right is wrong. sent9: that the restraint does reject and is achondritic is not correct. sent10: if something is a kind of a schooling it caricatures fettle. sent11: that the trifle does not bargain trifle but it does caricature fettle is not correct if the zinfandel is not a suffocation. sent12: The craps does caricature zinfandel. sent13: the trifle does not bargain trifle if that the sorgo is not a kind of a afterdamp but it is a net does not hold. ; $proof$ = 
sent2 -> int1: the zinfandel either is a suffocation or does caricature craps or both.; sent7 -> int2: the zinfandel is not a net if it is a kind of a suffocation and/or does caricature craps.; int1 & int2 -> int3: the zinfandel is not net.; int3 & sent4 -> int4: the fact that the sorgo is not a kind of a afterdamp but it does net is not right.; int4 & sent13 -> int5: the trifle does not bargain trifle.; sent6 -> int6: if that the trifle is a X-ray but it does not school does not hold it does caricature fettle.; sent1 & sent9 -> int7: the trifle does not reject.; sent3 & int7 -> int8: that that the trifle is a X-ray but it is not a schooling is wrong is not false.; int6 & int8 -> int9: the trifle caricatures fettle.; int5 & int9 -> hypothesis; __PROVED__