if the pompano is a chow then that the canopy is both altitudinal and not an optometry does not hold.
sent1: that the chimpanzee is not a symposiast if the fact that the wingstem is a approachability and/or it is a marriage is not true is not false. sent2: the pompano is a kind of a chow but it is not altitudinal if the six-pack is not a chow. sent3: if something is not a leatherjacket then it is not a hyperbola. sent4: the fact that the wingstem is a hematocolpometra and not an idiosyncrasy is incorrect. sent5: the wingstem is not a hematocolpometra if that it is a hematocolpometra and not an idiosyncrasy is not right. sent6: if that that the six-pack is non-altitudinal thing that is a chow is not incorrect is false the pompano is an optometry. sent7: that that the canopy is a kind of non-creaseproof thing that is a kind of a leatherjacket is true is not right if there exists something such that it is not a kind of a symposiast. sent8: that that something is a kind of a approachability and/or it is a marriage is true is not true if it is not a kind of a sorrow. sent9: something is not a leatherjacket if the fact that it is non-creaseproof a leatherjacket does not hold. sent10: if something is not a hyperbola then the fact that the six-pack is not altitudinal but a chow is not correct. sent11: something does not slog Yama and is not opaque if it is not a hematocolpometra. sent12: if the pompano is a chow then the six-pack is not altitudinal. sent13: the wingstem is not a kind of a sorrow if it does not slog Yama and it is not opaque.
void -> assump1: Let's assume that the pompano is a chow.; sent12 & assump1 -> int1: the six-pack is not altitudinal.;
the fact that the pompano is an optometry is right.
sent3 -> int2: the canopy is not a hyperbola if the fact that it is not a leatherjacket is not false.; sent9 -> int3: if that the canopy is not creaseproof but it is a leatherjacket is incorrect then it is not a leatherjacket.; sent8 -> int4: that the wingstem is a approachability and/or a marriage is not correct if it is not a sorrow.; sent11 -> int5: if the wingstem is not a hematocolpometra then it does not slog Yama and is not opaque.; sent5 & sent4 -> int6: the fact that the wingstem is not a hematocolpometra hold.; int5 & int6 -> int7: the wingstem does not slog Yama and is not opaque.; sent13 & int7 -> int8: the wingstem is not a sorrow.; int4 & int8 -> int9: the fact that either the wingstem is a approachability or it is a marriage or both is false.; sent1 & int9 -> int10: the chimpanzee is not a symposiast.; int10 -> int11: something is not a kind of a symposiast.; int11 & sent7 -> int12: the fact that the canopy is a kind of non-creaseproof thing that is a leatherjacket does not hold.; int3 & int12 -> int13: the canopy is not a leatherjacket.; int2 & int13 -> int14: that the canopy is not a hyperbola is not incorrect.; int14 -> int15: something is not a hyperbola.; int15 & sent10 -> int16: that the six-pack is not altitudinal but it is a kind of a chow does not hold.; sent6 & int16 -> hypothesis;
$hypothesis$ = if the pompano is a chow then that the canopy is both altitudinal and not an optometry does not hold. ; $context$ = sent1: that the chimpanzee is not a symposiast if the fact that the wingstem is a approachability and/or it is a marriage is not true is not false. sent2: the pompano is a kind of a chow but it is not altitudinal if the six-pack is not a chow. sent3: if something is not a leatherjacket then it is not a hyperbola. sent4: the fact that the wingstem is a hematocolpometra and not an idiosyncrasy is incorrect. sent5: the wingstem is not a hematocolpometra if that it is a hematocolpometra and not an idiosyncrasy is not right. sent6: if that that the six-pack is non-altitudinal thing that is a chow is not incorrect is false the pompano is an optometry. sent7: that that the canopy is a kind of non-creaseproof thing that is a kind of a leatherjacket is true is not right if there exists something such that it is not a kind of a symposiast. sent8: that that something is a kind of a approachability and/or it is a marriage is true is not true if it is not a kind of a sorrow. sent9: something is not a leatherjacket if the fact that it is non-creaseproof a leatherjacket does not hold. sent10: if something is not a hyperbola then the fact that the six-pack is not altitudinal but a chow is not correct. sent11: something does not slog Yama and is not opaque if it is not a hematocolpometra. sent12: if the pompano is a chow then the six-pack is not altitudinal. sent13: the wingstem is not a kind of a sorrow if it does not slog Yama and it is not opaque. ; $proof$ = 
void -> assump1: Let's assume that the pompano is a chow.; sent12 & assump1 -> int1: the six-pack is not altitudinal.; __UNKNOWN__