the penne does evaporate.
sent1: the fact that if the chorion is a kind of the Bramidae then the chorion is inelastic is not false. sent2: that the chorion does not fret cannibalism is not false if it is rustless and is inelastic. sent3: if something does fret Methodist then it is ceric. sent4: the chorion is a kind of a Bramidae. sent5: the Senegalese is hornless if the chorion is ceric. sent6: the chorion is rustless if there is something such that the fact that it does not adhere necker or is not maternal or both is incorrect. sent7: there is something such that the fact that either it does not adhere necker or it is not maternal or both is incorrect. sent8: the chorion frets Methodist if it does not fret cannibalism. sent9: the penne does evaporate if the Senegalese is hornless.
sent7 & sent6 -> int1: the chorion is rustless.; sent1 & sent4 -> int2: the chorion is inelastic.; int1 & int2 -> int3: the chorion is rustless and it is inelastic.; int3 & sent2 -> int4: the chorion does not fret cannibalism.; int4 & sent8 -> int5: the chorion does fret Methodist.; sent3 -> int6: that the chorion is ceric hold if it does fret Methodist.; int5 & int6 -> int7: the chorion is ceric.; int7 & sent5 -> int8: the Senegalese is hornless.; int8 & sent9 -> hypothesis;
$hypothesis$ = the penne does evaporate. ; $context$ = sent1: the fact that if the chorion is a kind of the Bramidae then the chorion is inelastic is not false. sent2: that the chorion does not fret cannibalism is not false if it is rustless and is inelastic. sent3: if something does fret Methodist then it is ceric. sent4: the chorion is a kind of a Bramidae. sent5: the Senegalese is hornless if the chorion is ceric. sent6: the chorion is rustless if there is something such that the fact that it does not adhere necker or is not maternal or both is incorrect. sent7: there is something such that the fact that either it does not adhere necker or it is not maternal or both is incorrect. sent8: the chorion frets Methodist if it does not fret cannibalism. sent9: the penne does evaporate if the Senegalese is hornless. ; $proof$ = 
sent7 & sent6 -> int1: the chorion is rustless.; sent1 & sent4 -> int2: the chorion is inelastic.; int1 & int2 -> int3: the chorion is rustless and it is inelastic.; int3 & sent2 -> int4: the chorion does not fret cannibalism.; int4 & sent8 -> int5: the chorion does fret Methodist.; sent3 -> int6: that the chorion is ceric hold if it does fret Methodist.; int5 & int6 -> int7: the chorion is ceric.; int7 & sent5 -> int8: the Senegalese is hornless.; int8 & sent9 -> hypothesis; __PROVED__