the fact that there exists something such that that it does not watch cutworm and it is not a Angelus does not hold is not true.
sent1: if something that is not a Cathaya hums spirit it does watch cutworm. sent2: if that the dogfighter does not limp but it is not discolor is false the fishpond is not a kind of a Angelus. sent3: if the fact that the dogfighter is not discolor and does not limp is false then it is an allure. sent4: that the dogfighter does not watch cutworm and is a kind of a Angelus is false. sent5: the fact that the dogfighter is color and it limps is incorrect if the Scot does not limps. sent6: if the dogfighter is an allure the fact that it does not watch cutworm and it is a Angelus does not hold. sent7: the fact that the fact that the Scot does watch cutworm and does not cram tad does not hold is true. sent8: if something is an allure then the fact that it does not watch cutworm and it is a Angelus is not right. sent9: the fact that the Scot is a Angelus that does not limp is not true. sent10: that the fact that the dogfighter does watch cutworm but it is not a Angelus does not hold is not wrong if that it is an allure is true. sent11: that the Scot does not limp and is not a kind of an allure is not true if it is a Angelus. sent12: there exists something such that the fact that it watches cutworm and is not a Angelus is not right. sent13: there is something such that that it does not watch cutworm and is a Angelus is incorrect. sent14: the dogfighter is an allure if that it does limp hold. sent15: that the dogfighter watches cutworm but it is not a Angelus is not correct. sent16: something is an allure if it watches cutworm. sent17: that something watches cutworm but it is not a Angelus is not true if that it is an allure is not false. sent18: the fact that the dogfighter is a kind of a color and limps is wrong. sent19: if the Scot does not limp then the fact that the dogfighter is a color but it does not limp is not correct. sent20: there exists something such that it does not watch cutworm and is not a kind of a Angelus. sent21: everything does not limp. sent22: the fact that something does not watch cutworm and it is not a Angelus is incorrect if it is an allure.
sent21 -> int1: the Scot does not limp.; int1 & sent19 -> int2: the fact that the dogfighter colors but it does not limp is wrong.; int2 & sent3 -> int3: the dogfighter is an allure.; sent22 -> int4: the fact that the dogfighter does not watch cutworm and it is not a kind of a Angelus is wrong if the fact that it is an allure is not false.; int3 & int4 -> int5: that the dogfighter does not watch cutworm and it is not a Angelus is incorrect.; int5 -> hypothesis;
the fact that the fishpond is not a Angelus hold.
sent16 -> int6: if the jiqui does watch cutworm then it is an allure.; sent1 -> int7: if the jiqui is not a Cathaya and does hum spirit it watches cutworm.;
$hypothesis$ = the fact that there exists something such that that it does not watch cutworm and it is not a Angelus does not hold is not true. ; $context$ = sent1: if something that is not a Cathaya hums spirit it does watch cutworm. sent2: if that the dogfighter does not limp but it is not discolor is false the fishpond is not a kind of a Angelus. sent3: if the fact that the dogfighter is not discolor and does not limp is false then it is an allure. sent4: that the dogfighter does not watch cutworm and is a kind of a Angelus is false. sent5: the fact that the dogfighter is color and it limps is incorrect if the Scot does not limps. sent6: if the dogfighter is an allure the fact that it does not watch cutworm and it is a Angelus does not hold. sent7: the fact that the fact that the Scot does watch cutworm and does not cram tad does not hold is true. sent8: if something is an allure then the fact that it does not watch cutworm and it is a Angelus is not right. sent9: the fact that the Scot is a Angelus that does not limp is not true. sent10: that the fact that the dogfighter does watch cutworm but it is not a Angelus does not hold is not wrong if that it is an allure is true. sent11: that the Scot does not limp and is not a kind of an allure is not true if it is a Angelus. sent12: there exists something such that the fact that it watches cutworm and is not a Angelus is not right. sent13: there is something such that that it does not watch cutworm and is a Angelus is incorrect. sent14: the dogfighter is an allure if that it does limp hold. sent15: that the dogfighter watches cutworm but it is not a Angelus is not correct. sent16: something is an allure if it watches cutworm. sent17: that something watches cutworm but it is not a Angelus is not true if that it is an allure is not false. sent18: the fact that the dogfighter is a kind of a color and limps is wrong. sent19: if the Scot does not limp then the fact that the dogfighter is a color but it does not limp is not correct. sent20: there exists something such that it does not watch cutworm and is not a kind of a Angelus. sent21: everything does not limp. sent22: the fact that something does not watch cutworm and it is not a Angelus is incorrect if it is an allure. ; $proof$ = 
sent21 -> int1: the Scot does not limp.; int1 & sent19 -> int2: the fact that the dogfighter colors but it does not limp is wrong.; int2 & sent3 -> int3: the dogfighter is an allure.; sent22 -> int4: the fact that the dogfighter does not watch cutworm and it is not a kind of a Angelus is wrong if the fact that it is an allure is not false.; int3 & int4 -> int5: that the dogfighter does not watch cutworm and it is not a Angelus is incorrect.; int5 -> hypothesis; __DISPROVED__