the fact that the barrator is not a whooper and does not admonish is false.
sent1: if the synthesis is a kind of a treatment then it is a kind of a whooper. sent2: the fact that that the synthesis does not admonish and is not a Ezekiel is not false is not right. sent3: that the welterweight is not censorial and it is not a customer is incorrect if the chorion is a kind of a Dipodidae. sent4: the fact that something does not stuff and it does not thicken is false if it is a kind of a whooper. sent5: there is nothing such that it is a treatment that does not slop. sent6: that the barrator is not a kind of a whooper and admonishes is incorrect. sent7: the fact that the synthesis is not a treatment and it does not admonish is not true. sent8: the synthesis does reflect babbitt. sent9: that the barrator is a whooper and does not admonish does not hold. sent10: the chorion is a Dipodidae. sent11: there is nothing such that it is not a treatment and it does not slop. sent12: the fact that the astronomer does not drizzle chorion and it is non-Scythian is wrong. sent13: the fact that the barrator is not a whooper and admonishes is not correct if the synthesis is a whooper. sent14: if that the synthesis is not a slop and it is not a treatment is not correct it does admonish. sent15: if that the barrator is not a treatment and it is not a whooper is incorrect it is a kind of a slop. sent16: if the synthesis is a kind of a whooper the fact that the barrator is a kind of a whooper and does not admonish is incorrect. sent17: the fact that the synthesis does not slop and it does not parget is wrong. sent18: the fact that the synthesis is a treatment but it is not a kind of a slop is not true. sent19: the babbitt is a treatment. sent20: if the synthesis is a whooper then that the barrator is not a whooper and does not admonish is wrong.
sent11 -> int1: that the synthesis is not a treatment and is not a slop is not correct.;
the fact that the Moon does not stuff and does not thicken is not correct.
sent4 -> int2: if the fact that the Moon is a whooper hold that it does not stuff and does not thicken is not correct.; sent3 & sent10 -> int3: that the welterweight is non-censorial thing that is not a customer is false.; int3 -> int4: there is something such that the fact that it is not censorial and is not a customer does not hold.;
$hypothesis$ = the fact that the barrator is not a whooper and does not admonish is false. ; $context$ = sent1: if the synthesis is a kind of a treatment then it is a kind of a whooper. sent2: the fact that that the synthesis does not admonish and is not a Ezekiel is not false is not right. sent3: that the welterweight is not censorial and it is not a customer is incorrect if the chorion is a kind of a Dipodidae. sent4: the fact that something does not stuff and it does not thicken is false if it is a kind of a whooper. sent5: there is nothing such that it is a treatment that does not slop. sent6: that the barrator is not a kind of a whooper and admonishes is incorrect. sent7: the fact that the synthesis is not a treatment and it does not admonish is not true. sent8: the synthesis does reflect babbitt. sent9: that the barrator is a whooper and does not admonish does not hold. sent10: the chorion is a Dipodidae. sent11: there is nothing such that it is not a treatment and it does not slop. sent12: the fact that the astronomer does not drizzle chorion and it is non-Scythian is wrong. sent13: the fact that the barrator is not a whooper and admonishes is not correct if the synthesis is a whooper. sent14: if that the synthesis is not a slop and it is not a treatment is not correct it does admonish. sent15: if that the barrator is not a treatment and it is not a whooper is incorrect it is a kind of a slop. sent16: if the synthesis is a kind of a whooper the fact that the barrator is a kind of a whooper and does not admonish is incorrect. sent17: the fact that the synthesis does not slop and it does not parget is wrong. sent18: the fact that the synthesis is a treatment but it is not a kind of a slop is not true. sent19: the babbitt is a treatment. sent20: if the synthesis is a whooper then that the barrator is not a whooper and does not admonish is wrong. ; $proof$ = 
sent11 -> int1: that the synthesis is not a treatment and is not a slop is not correct.; __UNKNOWN__