the fact that the dodo is a Wycherley and does not fart retrorocket is not right.
sent1: if the fact that the A-line is a fiver but it is not an accelerator does not hold then it does not roll disposition. sent2: if something is not photoelectric the fact that it is a Wycherley and it does not fart retrorocket is false. sent3: the fact that the A-line is a fiver but it is not an accelerator is not correct if that it is photoelectric hold. sent4: something is a Cheever that is a Washingtonian. sent5: that the A-line is a fiver and is an accelerator is false if it is photoelectric. sent6: if the dodo is a Cheever then that the A-line is a kind of non-photoelectric thing that does roll disposition is not true. sent7: if there are Washingtonian things that the titfer does not fart retrorocket and it is not a Wycherley is not correct. sent8: the Pentecostal is an accelerator. sent9: if there exists something such that it is not a Cheever the A-line is not a Cheever. sent10: if the A-line is an accelerator then it does not roll disposition. sent11: there is something such that that it is both a Cheever and a fiver is not correct. sent12: that the kohl is not a kind of an accelerator if there is something such that that it is not photoelectric and it rolls disposition is not correct is correct. sent13: the A-line does not fart retrorocket if it does not roll disposition and is not a kind of a Cheever. sent14: there exists something such that that it is a Cheever and is a Washingtonian is false. sent15: the A-line is photoelectric. sent16: if the A-line does not fart retrorocket the dodo is a Wycherley. sent17: that the A-line is a fiver and it is a kind of an accelerator is not correct. sent18: if there is something such that that it is a Cheever that is a Washingtonian does not hold the A-line is not a kind of a Cheever. sent19: the dodo is a Wycherley but it does not fart retrorocket if the fact that the A-line does not fart retrorocket is not false. sent20: the dodo is not photoelectric if it does not fart retrorocket and is not an accelerator.
sent3 & sent15 -> int1: the fact that the A-line is both a fiver and not an accelerator is incorrect.; int1 & sent1 -> int2: the A-line does not roll disposition.; sent14 & sent18 -> int3: the A-line is not a Cheever.; int2 & int3 -> int4: the fact that the A-line does not roll disposition and is not a Cheever is right.; int4 & sent13 -> int5: the A-line does not fart retrorocket.; int5 & sent19 -> hypothesis;
the kohl is not an accelerator.
$hypothesis$ = the fact that the dodo is a Wycherley and does not fart retrorocket is not right. ; $context$ = sent1: if the fact that the A-line is a fiver but it is not an accelerator does not hold then it does not roll disposition. sent2: if something is not photoelectric the fact that it is a Wycherley and it does not fart retrorocket is false. sent3: the fact that the A-line is a fiver but it is not an accelerator is not correct if that it is photoelectric hold. sent4: something is a Cheever that is a Washingtonian. sent5: that the A-line is a fiver and is an accelerator is false if it is photoelectric. sent6: if the dodo is a Cheever then that the A-line is a kind of non-photoelectric thing that does roll disposition is not true. sent7: if there are Washingtonian things that the titfer does not fart retrorocket and it is not a Wycherley is not correct. sent8: the Pentecostal is an accelerator. sent9: if there exists something such that it is not a Cheever the A-line is not a Cheever. sent10: if the A-line is an accelerator then it does not roll disposition. sent11: there is something such that that it is both a Cheever and a fiver is not correct. sent12: that the kohl is not a kind of an accelerator if there is something such that that it is not photoelectric and it rolls disposition is not correct is correct. sent13: the A-line does not fart retrorocket if it does not roll disposition and is not a kind of a Cheever. sent14: there exists something such that that it is a Cheever and is a Washingtonian is false. sent15: the A-line is photoelectric. sent16: if the A-line does not fart retrorocket the dodo is a Wycherley. sent17: that the A-line is a fiver and it is a kind of an accelerator is not correct. sent18: if there is something such that that it is a Cheever that is a Washingtonian does not hold the A-line is not a kind of a Cheever. sent19: the dodo is a Wycherley but it does not fart retrorocket if the fact that the A-line does not fart retrorocket is not false. sent20: the dodo is not photoelectric if it does not fart retrorocket and is not an accelerator. ; $proof$ = 
sent3 & sent15 -> int1: the fact that the A-line is both a fiver and not an accelerator is incorrect.; int1 & sent1 -> int2: the A-line does not roll disposition.; sent14 & sent18 -> int3: the A-line is not a Cheever.; int2 & int3 -> int4: the fact that the A-line does not roll disposition and is not a Cheever is right.; int4 & sent13 -> int5: the A-line does not fart retrorocket.; int5 & sent19 -> hypothesis; __DISPROVED__