the CD does not appear and it is not a aerogram.
sent1: if the CD is not a Jason then it does not appear. sent2: something is not a kind of a Lymantriidae and it is not nonmonotonic if the fact that it is not chimerical is right. sent3: something does not appear if it is indispensable. sent4: if the violator is not custard-like the schnorrer is not custard-like and not unportable. sent5: the schnorrer is a gulch and a aerogram. sent6: if that the fact that the pit is cardiographic is true is incorrect it is not printable. sent7: the CD is not a aerogram if the totalitarian does not appear. sent8: there are unportable things. sent9: if the totalitarian does not appear the CD does not appear and is not a aerogram. sent10: the fact that the violator is custard-like is right. sent11: that there exists something such that it is not quadraphonic hold. sent12: the violator is both custard-like and a Jason. sent13: the fact that the antimatter does not appear is right. sent14: a non-cardiographic thing is not unportable. sent15: if there are non-unportable things then the fact that the totalitarian is indispensable and is chimerical is not right. sent16: the totalitarian does not appear if it is indispensable. sent17: if the fact that something is not indispensable but it is chimerical is incorrect it does not appear. sent18: that the CD is not promissory is right. sent19: the CD is not a aerogram. sent20: the helianthemum is not chimerical and it is not a kind of a response. sent21: that the totalitarian is not indispensable but it is chimerical is wrong if something is not unportable. sent22: there is something such that it is not promissory. sent23: the fact that the totalitarian is indispensable and it is chimerical is false. sent24: the schnorrer is non-cardiographic if the violator is custard-like and it is a Jason.
sent14 -> int1: the schnorrer is not unportable if it is not cardiographic.; sent24 & sent12 -> int2: the schnorrer is not cardiographic.; int1 & int2 -> int3: the schnorrer is not unportable.; int3 -> int4: there exists something such that it is not unportable.; int4 & sent21 -> int5: that the totalitarian is dispensable thing that is chimerical is wrong.; sent17 -> int6: the totalitarian does not appear if the fact that it is non-indispensable thing that is chimerical is incorrect.; int5 & int6 -> int7: the totalitarian does not appear.; int7 & sent9 -> hypothesis;
the Emetrol is not a kind of a Lymantriidae and it is not nonmonotonic.
sent2 -> int8: if the Emetrol is not chimerical then it is not a Lymantriidae and it is not nonmonotonic.;
$hypothesis$ = the CD does not appear and it is not a aerogram. ; $context$ = sent1: if the CD is not a Jason then it does not appear. sent2: something is not a kind of a Lymantriidae and it is not nonmonotonic if the fact that it is not chimerical is right. sent3: something does not appear if it is indispensable. sent4: if the violator is not custard-like the schnorrer is not custard-like and not unportable. sent5: the schnorrer is a gulch and a aerogram. sent6: if that the fact that the pit is cardiographic is true is incorrect it is not printable. sent7: the CD is not a aerogram if the totalitarian does not appear. sent8: there are unportable things. sent9: if the totalitarian does not appear the CD does not appear and is not a aerogram. sent10: the fact that the violator is custard-like is right. sent11: that there exists something such that it is not quadraphonic hold. sent12: the violator is both custard-like and a Jason. sent13: the fact that the antimatter does not appear is right. sent14: a non-cardiographic thing is not unportable. sent15: if there are non-unportable things then the fact that the totalitarian is indispensable and is chimerical is not right. sent16: the totalitarian does not appear if it is indispensable. sent17: if the fact that something is not indispensable but it is chimerical is incorrect it does not appear. sent18: that the CD is not promissory is right. sent19: the CD is not a aerogram. sent20: the helianthemum is not chimerical and it is not a kind of a response. sent21: that the totalitarian is not indispensable but it is chimerical is wrong if something is not unportable. sent22: there is something such that it is not promissory. sent23: the fact that the totalitarian is indispensable and it is chimerical is false. sent24: the schnorrer is non-cardiographic if the violator is custard-like and it is a Jason. ; $proof$ = 
sent14 -> int1: the schnorrer is not unportable if it is not cardiographic.; sent24 & sent12 -> int2: the schnorrer is not cardiographic.; int1 & int2 -> int3: the schnorrer is not unportable.; int3 -> int4: there exists something such that it is not unportable.; int4 & sent21 -> int5: that the totalitarian is dispensable thing that is chimerical is wrong.; sent17 -> int6: the totalitarian does not appear if the fact that it is non-indispensable thing that is chimerical is incorrect.; int5 & int6 -> int7: the totalitarian does not appear.; int7 & sent9 -> hypothesis; __PROVED__