the fact that the glass-cutter does not overburden library and it is not planetal is not true.
sent1: if the aeration is not sudden the carborundum is a pit and does mystify Dias. sent2: the Malathion is not a Christchurch. sent3: if the aeration does not mystify Dias then it is sudden. sent4: the fact that the Malathion is a kind of a pit and is a kind of a Christchurch is false. sent5: the aeration mystifies Dias if it does not integrate frame-up. sent6: The frame-up does integrate Malathion. sent7: the aeration is not sudden if the fact that the Malathion is a kind of a heroine that is a parapet is incorrect. sent8: the fact that something is a kind of a parapet and does not mystify Dias is not right if it is not sudden. sent9: the Malathion does overburden library. sent10: the fact that the Malathion is a pit and not a Christchurch is false if the aeration mystifies Dias. sent11: if the Malathion integrates frame-up then it does pit and it is not a Christchurch. sent12: the talkie does not overburden library and is planetal if the brachyuran integrates frame-up. sent13: the fact that the aeration does not integrate frame-up and it does not mystify Dias is false. sent14: the glass-cutter is a heroine. sent15: that the Malathion is a pit and it is a Christchurch is false if the aeration mystifies Dias. sent16: something does not overburden library and is not planetal if it mystifies Dias. sent17: if the glass-cutter is polymorphic then that it does not overburden library and it is planetal is incorrect. sent18: if the Malathion is not polymorphic but it is sudden then the aeration is not sudden. sent19: the fact that if the Malathion integrates frame-up then the Malathion is not a Christchurch is not false. sent20: something that is sudden is a parapet. sent21: the fact that the glass-cutter overburdens library and is not planetal is incorrect. sent22: that the glass-cutter does not overburden library but it is planetal is false. sent23: that the glass-cutter does overburden library and is not planetal does not hold if it is polymorphic. sent24: the Malathion does integrate frame-up. sent25: the Malathion is a parapet if it pits. sent26: that the glass-cutter does not overburden library and is not planetal is wrong if it is polymorphic. sent27: the aeration is a heroine if it is a parapet. sent28: something integrates frame-up if it is a saki.
void -> assump1: Let's assume that the aeration mystifies Dias.; sent10 & assump1 -> int1: that the Malathion is a pit but not a Christchurch does not hold.; sent11 & sent24 -> int2: the Malathion is a pit and not a Christchurch.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the aeration does not mystify Dias.; int4 & sent3 -> int5: the aeration is sudden.; sent20 -> int6: the aeration is a parapet if it is sudden.; int5 & int6 -> int7: the aeration is a parapet.; int7 & sent27 -> int8: the aeration is a heroine.;
the glass-cutter does not overburden library and is not planetal.
sent16 -> int9: the fact that if the glass-cutter mystifies Dias then the glass-cutter does not overburden library and is not planetal hold.; sent8 -> int10: that the aeration is a parapet but it does not mystify Dias is wrong if it is non-sudden.;
$hypothesis$ = the fact that the glass-cutter does not overburden library and it is not planetal is not true. ; $context$ = sent1: if the aeration is not sudden the carborundum is a pit and does mystify Dias. sent2: the Malathion is not a Christchurch. sent3: if the aeration does not mystify Dias then it is sudden. sent4: the fact that the Malathion is a kind of a pit and is a kind of a Christchurch is false. sent5: the aeration mystifies Dias if it does not integrate frame-up. sent6: The frame-up does integrate Malathion. sent7: the aeration is not sudden if the fact that the Malathion is a kind of a heroine that is a parapet is incorrect. sent8: the fact that something is a kind of a parapet and does not mystify Dias is not right if it is not sudden. sent9: the Malathion does overburden library. sent10: the fact that the Malathion is a pit and not a Christchurch is false if the aeration mystifies Dias. sent11: if the Malathion integrates frame-up then it does pit and it is not a Christchurch. sent12: the talkie does not overburden library and is planetal if the brachyuran integrates frame-up. sent13: the fact that the aeration does not integrate frame-up and it does not mystify Dias is false. sent14: the glass-cutter is a heroine. sent15: that the Malathion is a pit and it is a Christchurch is false if the aeration mystifies Dias. sent16: something does not overburden library and is not planetal if it mystifies Dias. sent17: if the glass-cutter is polymorphic then that it does not overburden library and it is planetal is incorrect. sent18: if the Malathion is not polymorphic but it is sudden then the aeration is not sudden. sent19: the fact that if the Malathion integrates frame-up then the Malathion is not a Christchurch is not false. sent20: something that is sudden is a parapet. sent21: the fact that the glass-cutter overburdens library and is not planetal is incorrect. sent22: that the glass-cutter does not overburden library but it is planetal is false. sent23: that the glass-cutter does overburden library and is not planetal does not hold if it is polymorphic. sent24: the Malathion does integrate frame-up. sent25: the Malathion is a parapet if it pits. sent26: that the glass-cutter does not overburden library and is not planetal is wrong if it is polymorphic. sent27: the aeration is a heroine if it is a parapet. sent28: something integrates frame-up if it is a saki. ; $proof$ = 
void -> assump1: Let's assume that the aeration mystifies Dias.; sent10 & assump1 -> int1: that the Malathion is a pit but not a Christchurch does not hold.; sent11 & sent24 -> int2: the Malathion is a pit and not a Christchurch.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the aeration does not mystify Dias.; int4 & sent3 -> int5: the aeration is sudden.; sent20 -> int6: the aeration is a parapet if it is sudden.; int5 & int6 -> int7: the aeration is a parapet.; int7 & sent27 -> int8: the aeration is a heroine.; __UNKNOWN__