the Hereford is not a pemmican.
sent1: something is not a kind of a mackintosh if it is not phyllodial and/or it is not aluminous. sent2: if something is not a mackintosh then it does not flake magician and harvests nightmare. sent3: the squinter is not a pemmican. sent4: something is a kind of a mackintosh. sent5: the firecracker is both not a mopper and not a pyroxene if it does not flake hindrance. sent6: the firecracker does not flake hindrance if the Rajput does flake hindrance. sent7: something is both unclean and a pemmican if the fact that it is not a unitization hold. sent8: the neopallium is a unitization if it is not unclean. sent9: if the Hereford is a pemmican the neopallium is not unclean. sent10: the fact that the squinter is not a mackintosh hold. sent11: there exists something such that it is not a pemmican. sent12: a non-Cambodian thing is a jury and is not benzylic. sent13: if something is not unclean it is a unitization. sent14: that the neopallium is a unitization is not false. sent15: the Hereford is a Mongol and it does vault. sent16: something is both not a trifler and not a tameness if it is a mopper. sent17: if the squinter is not a trifler and is not a kind of a tameness then the neopallium is a trifler. sent18: something is a unitization but it does not flake magician if it is not unclean. sent19: if something is a trifler then it is not phyllodial and/or is not aluminous. sent20: if something is not a mackintosh then the neopallium does harvest nightmare and flakes magician. sent21: the squinter is a mopper if that the firecracker is not a mopper hold. sent22: if the neopallium does not flake magician but it does harvest nightmare the Hereford is not a kind of a unitization. sent23: the neopallium harvests nightmare. sent24: the neopallium does harvest nightmare if there is something such that it is not a mackintosh.
void -> assump1: Let's assume that the Hereford is a pemmican.; sent9 & assump1 -> int1: the neopallium is not unclean.; sent18 -> int2: the neopallium is a kind of a unitization that does not flake magician if it is not unclean.; int1 & int2 -> int3: the neopallium is a unitization and does not flake magician.; int3 -> int4: the neopallium does not flake magician.; sent10 -> int5: there exists something such that the fact that it is not a mackintosh is right.; int5 & sent20 -> int6: the neopallium does harvest nightmare and it does flake magician.; int6 -> int7: the neopallium does flake magician.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the Hereford is a kind of a pemmican.
sent7 -> int9: the Hereford is both unclean and a pemmican if it is not a unitization.; sent2 -> int10: if the neopallium is not a mackintosh it does not flake magician and it does harvest nightmare.; sent1 -> int11: if the neopallium is non-phyllodial and/or it is not aluminous it is not a mackintosh.; sent19 -> int12: either the neopallium is not phyllodial or it is not aluminous or both if it is a trifler.; sent16 -> int13: if the squinter is a kind of a mopper then it is not a trifler and not a tameness.;
$hypothesis$ = the Hereford is not a pemmican. ; $context$ = sent1: something is not a kind of a mackintosh if it is not phyllodial and/or it is not aluminous. sent2: if something is not a mackintosh then it does not flake magician and harvests nightmare. sent3: the squinter is not a pemmican. sent4: something is a kind of a mackintosh. sent5: the firecracker is both not a mopper and not a pyroxene if it does not flake hindrance. sent6: the firecracker does not flake hindrance if the Rajput does flake hindrance. sent7: something is both unclean and a pemmican if the fact that it is not a unitization hold. sent8: the neopallium is a unitization if it is not unclean. sent9: if the Hereford is a pemmican the neopallium is not unclean. sent10: the fact that the squinter is not a mackintosh hold. sent11: there exists something such that it is not a pemmican. sent12: a non-Cambodian thing is a jury and is not benzylic. sent13: if something is not unclean it is a unitization. sent14: that the neopallium is a unitization is not false. sent15: the Hereford is a Mongol and it does vault. sent16: something is both not a trifler and not a tameness if it is a mopper. sent17: if the squinter is not a trifler and is not a kind of a tameness then the neopallium is a trifler. sent18: something is a unitization but it does not flake magician if it is not unclean. sent19: if something is a trifler then it is not phyllodial and/or is not aluminous. sent20: if something is not a mackintosh then the neopallium does harvest nightmare and flakes magician. sent21: the squinter is a mopper if that the firecracker is not a mopper hold. sent22: if the neopallium does not flake magician but it does harvest nightmare the Hereford is not a kind of a unitization. sent23: the neopallium harvests nightmare. sent24: the neopallium does harvest nightmare if there is something such that it is not a mackintosh. ; $proof$ = 
void -> assump1: Let's assume that the Hereford is a pemmican.; sent9 & assump1 -> int1: the neopallium is not unclean.; sent18 -> int2: the neopallium is a kind of a unitization that does not flake magician if it is not unclean.; int1 & int2 -> int3: the neopallium is a unitization and does not flake magician.; int3 -> int4: the neopallium does not flake magician.; sent10 -> int5: there exists something such that the fact that it is not a mackintosh is right.; int5 & sent20 -> int6: the neopallium does harvest nightmare and it does flake magician.; int6 -> int7: the neopallium does flake magician.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__