there is something such that it does not walk Rotarian and is not avuncular.
sent1: something does not walk Rotarian and is avuncular. sent2: if the fact that the CF is not a kind of a scrod and is a covert does not hold then it is not avuncular. sent3: that the CF is a scrod and it is covert is wrong. sent4: if the CF is a scrod then it is non-avuncular. sent5: there is something such that it does not walk skilletfish. sent6: the fact that everything does not walk skilletfish is correct. sent7: the fact that the Carver either does walk skilletfish or is a anther or both is wrong. sent8: the fact that something is non-covert thing that is not a kind of a scrod is incorrect if that it is medieval is right. sent9: there exists something such that that it walks adulteration and/or it does symphonize is wrong. sent10: the flybridge is a ID and it is medieval. sent11: if there is something such that the fact that it does not walk Rotarian is not wrong the fact that either the CF is a banned or it is historical or both does not hold. sent12: if there exists something such that that it is not a covert and it is not a scrod does not hold then the skilletfish is not avuncular. sent13: if there is something such that it is not avuncular then the dibucaine does not walk Rotarian. sent14: the six-footer does not walk skilletfish. sent15: there is something such that it is not avuncular. sent16: there exists nothing such that it is a kind of a pterion or it does walk skilletfish or both. sent17: the six-footer is not a pterion if the fact that it does not walk skilletfish and is avuncular is not correct. sent18: the CF does not walk Rotarian if there is something such that that it is a pterion and/or does walk skilletfish is wrong. sent19: the CF is not axial.
sent16 -> int1: that the six-footer is a pterion or it walks skilletfish or both is false.; int1 -> int2: there is something such that the fact that it is a pterion or it does walk skilletfish or both is wrong.; int2 & sent18 -> int3: the CF does not walk Rotarian.;
there exists something such that that either it is a banned or it is historical or both does not hold.
sent8 -> int4: that the flybridge is not a kind of a covert and is not a kind of a scrod is incorrect if it is medieval.; sent10 -> int5: the flybridge is medieval.; int4 & int5 -> int6: the fact that that the flybridge is not covert and is not a scrod does not hold is not wrong.; int6 -> int7: there is something such that the fact that it is not a covert and it is not a scrod is not true.; int7 & sent12 -> int8: the skilletfish is not avuncular.; int8 -> int9: there exists something such that it is not avuncular.; int9 & sent13 -> int10: the dibucaine does not walk Rotarian.; int10 -> int11: something does not walk Rotarian.; int11 & sent11 -> int12: the fact that the CF is a banned or not non-historical or both does not hold.; int12 -> hypothesis;
$hypothesis$ = there is something such that it does not walk Rotarian and is not avuncular. ; $context$ = sent1: something does not walk Rotarian and is avuncular. sent2: if the fact that the CF is not a kind of a scrod and is a covert does not hold then it is not avuncular. sent3: that the CF is a scrod and it is covert is wrong. sent4: if the CF is a scrod then it is non-avuncular. sent5: there is something such that it does not walk skilletfish. sent6: the fact that everything does not walk skilletfish is correct. sent7: the fact that the Carver either does walk skilletfish or is a anther or both is wrong. sent8: the fact that something is non-covert thing that is not a kind of a scrod is incorrect if that it is medieval is right. sent9: there exists something such that that it walks adulteration and/or it does symphonize is wrong. sent10: the flybridge is a ID and it is medieval. sent11: if there is something such that the fact that it does not walk Rotarian is not wrong the fact that either the CF is a banned or it is historical or both does not hold. sent12: if there exists something such that that it is not a covert and it is not a scrod does not hold then the skilletfish is not avuncular. sent13: if there is something such that it is not avuncular then the dibucaine does not walk Rotarian. sent14: the six-footer does not walk skilletfish. sent15: there is something such that it is not avuncular. sent16: there exists nothing such that it is a kind of a pterion or it does walk skilletfish or both. sent17: the six-footer is not a pterion if the fact that it does not walk skilletfish and is avuncular is not correct. sent18: the CF does not walk Rotarian if there is something such that that it is a pterion and/or does walk skilletfish is wrong. sent19: the CF is not axial. ; $proof$ = 
sent16 -> int1: that the six-footer is a pterion or it walks skilletfish or both is false.; int1 -> int2: there is something such that the fact that it is a pterion or it does walk skilletfish or both is wrong.; int2 & sent18 -> int3: the CF does not walk Rotarian.; __UNKNOWN__