there are antipodal things.
sent1: there is nothing such that it is a feebleness and is a kind of a gamecock. sent2: that the towel does synthesize and is not a parachute is wrong. sent3: there is something such that it is a wellerism. sent4: the fact that that the towel is a kind of a feebleness and it is a gamecock hold is wrong. sent5: a gamecock is a kind of an antipodal. sent6: there is nothing such that it is both a Moorish and not a mannequin. sent7: that something grazes and does not harshen Sundanese is incorrect if it does not consider martin. sent8: the fact that the floss is minor and/or is an antipodal is not true if the rose is not a grazed. sent9: that the towel does synthesize is not incorrect. sent10: if the rose is a formed then it is not astomatous or is not a much or both. sent11: there is something such that it is one-piece. sent12: the towel is a gamecock if the fact that it is a kind of a broadcasting that is not a coelenteron is wrong. sent13: if something does serenade syringe it is useless. sent14: if something is not astomatous then that it does not consider martin is not wrong. sent15: if the fact that the valency is supraorbital but it is not a broadcasting is incorrect it is downstream. sent16: the rose does form. sent17: the towel is a kind of an antipodal if it is a gamecock. sent18: there exists nothing that is both a feebleness and not a gamecock. sent19: the towel does serenade syringe. sent20: if that something is a kind of a grazed but it does not harshen Sundanese is false then it is not a grazed.
sent18 -> int1: that the towel is a feebleness but it is not a kind of a gamecock is not correct.;
the towel is useless.
sent13 -> int2: if the towel does serenade syringe it is useless.; sent20 -> int3: the rose is not a kind of a grazed if that it is a grazed that does not harshen Sundanese is incorrect.; sent7 -> int4: that the rose is a kind of a grazed that does not harshen Sundanese is not correct if it does not consider martin.; sent10 & sent16 -> int5: the rose is not astomatous and/or it is not a much.; sent14 -> int6: if the rose is non-astomatous it does not consider martin.;
$hypothesis$ = there are antipodal things. ; $context$ = sent1: there is nothing such that it is a feebleness and is a kind of a gamecock. sent2: that the towel does synthesize and is not a parachute is wrong. sent3: there is something such that it is a wellerism. sent4: the fact that that the towel is a kind of a feebleness and it is a gamecock hold is wrong. sent5: a gamecock is a kind of an antipodal. sent6: there is nothing such that it is both a Moorish and not a mannequin. sent7: that something grazes and does not harshen Sundanese is incorrect if it does not consider martin. sent8: the fact that the floss is minor and/or is an antipodal is not true if the rose is not a grazed. sent9: that the towel does synthesize is not incorrect. sent10: if the rose is a formed then it is not astomatous or is not a much or both. sent11: there is something such that it is one-piece. sent12: the towel is a gamecock if the fact that it is a kind of a broadcasting that is not a coelenteron is wrong. sent13: if something does serenade syringe it is useless. sent14: if something is not astomatous then that it does not consider martin is not wrong. sent15: if the fact that the valency is supraorbital but it is not a broadcasting is incorrect it is downstream. sent16: the rose does form. sent17: the towel is a kind of an antipodal if it is a gamecock. sent18: there exists nothing that is both a feebleness and not a gamecock. sent19: the towel does serenade syringe. sent20: if that something is a kind of a grazed but it does not harshen Sundanese is false then it is not a grazed. ; $proof$ = 
sent18 -> int1: that the towel is a feebleness but it is not a kind of a gamecock is not correct.; __UNKNOWN__