the cliff does carbonate Northern.
sent1: the hobby carbonates Northern if the dishpan carbonates Northern. sent2: the carbon does not carbonate Northern if the dishpan is not mesenteric and is not a beam. sent3: the dishpan does not warm coronation and it is not cheliceral. sent4: the fact that the fact that the dishpan carbonates Northern but it is not cheliceral is false is right if there exists something such that it is mesenteric. sent5: that the dishpan does not warm coronation is true. sent6: the carbon drinks repayment. sent7: the cliff is a kind of catadromous thing that carbonates Northern if the carbon does not carbonates Northern. sent8: the hobby does drink repayment but it does not carbonate trigonometry. sent9: the cliff is catadromous. sent10: the cliff is catadromous if the carbon does not carbonate Northern. sent11: the dishpan is cheliceral if it is mesenteric. sent12: the hobby does not carbonate trigonometry. sent13: something is mesenteric if it is catadromous thing that is not a beam. sent14: the dishpan is not a beam if the hobby does drink repayment and does not carbonate trigonometry. sent15: the carbon does not warm coronation. sent16: the dishpan is not a kind of a beam if the hobby does drink repayment and carbonates trigonometry.
void -> assump1: Let's assume that the dishpan is mesenteric.; sent11 & assump1 -> int1: the dishpan is cheliceral.; sent3 -> int2: the dishpan is not cheliceral.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the dishpan is not mesenteric is not false.; sent14 & sent8 -> int5: the dishpan does not beam.; int4 & int5 -> int6: the dishpan is not mesenteric and is not a beam.; int6 & sent2 -> int7: the carbon does not carbonate Northern.; int7 & sent7 -> int8: the cliff is catadromous and it carbonates Northern.; int8 -> hypothesis;
the fact that the cliff does not carbonate Northern is right.
sent13 -> int9: the carbon is mesenteric if it is a kind of catadromous thing that is not a beam.;
$hypothesis$ = the cliff does carbonate Northern. ; $context$ = sent1: the hobby carbonates Northern if the dishpan carbonates Northern. sent2: the carbon does not carbonate Northern if the dishpan is not mesenteric and is not a beam. sent3: the dishpan does not warm coronation and it is not cheliceral. sent4: the fact that the fact that the dishpan carbonates Northern but it is not cheliceral is false is right if there exists something such that it is mesenteric. sent5: that the dishpan does not warm coronation is true. sent6: the carbon drinks repayment. sent7: the cliff is a kind of catadromous thing that carbonates Northern if the carbon does not carbonates Northern. sent8: the hobby does drink repayment but it does not carbonate trigonometry. sent9: the cliff is catadromous. sent10: the cliff is catadromous if the carbon does not carbonate Northern. sent11: the dishpan is cheliceral if it is mesenteric. sent12: the hobby does not carbonate trigonometry. sent13: something is mesenteric if it is catadromous thing that is not a beam. sent14: the dishpan is not a beam if the hobby does drink repayment and does not carbonate trigonometry. sent15: the carbon does not warm coronation. sent16: the dishpan is not a kind of a beam if the hobby does drink repayment and carbonates trigonometry. ; $proof$ = 
void -> assump1: Let's assume that the dishpan is mesenteric.; sent11 & assump1 -> int1: the dishpan is cheliceral.; sent3 -> int2: the dishpan is not cheliceral.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the dishpan is not mesenteric is not false.; sent14 & sent8 -> int5: the dishpan does not beam.; int4 & int5 -> int6: the dishpan is not mesenteric and is not a beam.; int6 & sent2 -> int7: the carbon does not carbonate Northern.; int7 & sent7 -> int8: the cliff is catadromous and it carbonates Northern.; int8 -> hypothesis; __PROVED__