that if the booker is not a kind of a Ceylon and it is not a kind of a antonym then the fact that the exercycle is not a spiracle is true is incorrect.
sent1: the exercycle is not a spiracle if the booker is not a Ceylon but it is a antonym. sent2: the exercycle is not a spiracle if the fiberglass does not exempt TRM and does not clean booker. sent3: the fact that the booker is not a Ceylon but it is a antonym is wrong if the man-child is a Ceylon. sent4: the fact that the booker is a kind of a Ceylon and is not a antonym is not right. sent5: the exercycle is a kind of a Ceylon if that it does not exempt TRM and it is not a spiracle is not true. sent6: the fact that that the booker is not a Ceylon and is a kind of a antonym is correct does not hold. sent7: that the fiberglass is not a Ceylon and it does not exempt TRM is not right. sent8: the fact that the parachute does not exempt TRM and does not clean bigamy is not false. sent9: the exercycle is not a spiracle if the fiberglass exempts TRM and does not clean booker. sent10: the booker is not a Ceylon. sent11: the booker is not a kind of a antonym. sent12: if the man-child is a kind of a Ceylon the booker is both not a Ceylon and not a antonym. sent13: the fiberglass cleans parachute if it does exempt TRM. sent14: something does not clean parachute and it is not a Ceylon if that it is a antonym is true. sent15: the fact that the fiberglass exempts TRM and does not clean booker does not hold. sent16: if the man-child is a kind of a Ceylon that the booker is a Ceylon and not a antonym is not right. sent17: if the fiberglass cleans parachute the man-child is a kind of a Ceylon. sent18: if the exercycle is both not a Ceylon and not a spiracle the man-child is not a antonym. sent19: if that the man-child is a Ceylon is not false then the fact that the booker is both not a Ceylon and not a antonym is not right. sent20: that if that the fiberglass does not exempt TRM and does not clean booker does not hold the fiberglass cleans parachute is true.
void -> assump2: Let's assume that the booker is not a kind of a Ceylon and it is not a antonym.; void -> assump1: Let's assume that the fact that the fact that the fiberglass does not exempt TRM and it does not clean booker is not incorrect is incorrect.; sent20 & assump1 -> int1: the fiberglass does clean parachute.; sent17 & int1 -> int2: the man-child is a Ceylon.; sent19 & int2 -> int3: that the booker is not a Ceylon and it is not a antonym is false.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fiberglass does not exempt TRM and it does not clean booker.; sent2 & int5 -> int6: the exercycle is not a spiracle.; [assump2] & int6 -> hypothesis;
the man-child is both not a kneel and not a spiracle.
sent14 -> int7: if the exercycle is a antonym then it does not clean parachute and it is not a Ceylon.;
$hypothesis$ = that if the booker is not a kind of a Ceylon and it is not a kind of a antonym then the fact that the exercycle is not a spiracle is true is incorrect. ; $context$ = sent1: the exercycle is not a spiracle if the booker is not a Ceylon but it is a antonym. sent2: the exercycle is not a spiracle if the fiberglass does not exempt TRM and does not clean booker. sent3: the fact that the booker is not a Ceylon but it is a antonym is wrong if the man-child is a Ceylon. sent4: the fact that the booker is a kind of a Ceylon and is not a antonym is not right. sent5: the exercycle is a kind of a Ceylon if that it does not exempt TRM and it is not a spiracle is not true. sent6: the fact that that the booker is not a Ceylon and is a kind of a antonym is correct does not hold. sent7: that the fiberglass is not a Ceylon and it does not exempt TRM is not right. sent8: the fact that the parachute does not exempt TRM and does not clean bigamy is not false. sent9: the exercycle is not a spiracle if the fiberglass exempts TRM and does not clean booker. sent10: the booker is not a Ceylon. sent11: the booker is not a kind of a antonym. sent12: if the man-child is a kind of a Ceylon the booker is both not a Ceylon and not a antonym. sent13: the fiberglass cleans parachute if it does exempt TRM. sent14: something does not clean parachute and it is not a Ceylon if that it is a antonym is true. sent15: the fact that the fiberglass exempts TRM and does not clean booker does not hold. sent16: if the man-child is a kind of a Ceylon that the booker is a Ceylon and not a antonym is not right. sent17: if the fiberglass cleans parachute the man-child is a kind of a Ceylon. sent18: if the exercycle is both not a Ceylon and not a spiracle the man-child is not a antonym. sent19: if that the man-child is a Ceylon is not false then the fact that the booker is both not a Ceylon and not a antonym is not right. sent20: that if that the fiberglass does not exempt TRM and does not clean booker does not hold the fiberglass cleans parachute is true. ; $proof$ = 
void -> assump2: Let's assume that the booker is not a kind of a Ceylon and it is not a antonym.; void -> assump1: Let's assume that the fact that the fact that the fiberglass does not exempt TRM and it does not clean booker is not incorrect is incorrect.; sent20 & assump1 -> int1: the fiberglass does clean parachute.; sent17 & int1 -> int2: the man-child is a Ceylon.; sent19 & int2 -> int3: that the booker is not a Ceylon and it is not a antonym is false.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fiberglass does not exempt TRM and it does not clean booker.; sent2 & int5 -> int6: the exercycle is not a spiracle.; [assump2] & int6 -> hypothesis; __DISPROVED__