if the meanie is carbonaceous then that the greaves petrifies and is not a kind of a Atticus is not right.
sent1: the theodolite is not antennal. sent2: if the cotyledon is not carbonaceous then the fact that it petrifies and is non-allomorphic does not hold. sent3: if the meanie is carbonaceous the fact that the greaves does petrify and is a kind of a Atticus is not correct. sent4: the fact that the theodolite does respect receivership and does not default gum-lac does not hold if it is not antennal. sent5: that the greaves does petrify and is not a Atticus is wrong if the cotyledon does not petrify. sent6: if the cotyledon does not petrify then the greaves petrify and is not a Atticus. sent7: the meanie is not allomorphic if the fact that the theodolite does respect receivership but it does not default gum-lac is wrong. sent8: if the greaves does petrify but it is not a Atticus the cotyledon does not respect receivership. sent9: the fact that the greaves is both antennal and not a Atticus is incorrect if the theodolite does petrify. sent10: the greaves does petrify but it is not a Atticus if the meanie is carbonaceous. sent11: if the theodolite defaults gum-lac the meanie is not allomorphic. sent12: the fact that the greaves petrifies and is a Atticus is not correct. sent13: the greaves petrifies but it is not a Atticus. sent14: that the theodolite respects receivership and does default gum-lac is not true. sent15: if that that the theodolite is antennal is correct is not right then that it respects receivership and defaults gum-lac is incorrect. sent16: the cotyledon does not petrify if the meanie is carbonaceous but it is not allomorphic.
void -> assump1: Let's assume that the meanie is carbonaceous.; sent4 & sent1 -> int1: the fact that the theodolite respects receivership but it does not default gum-lac is false.; sent7 & int1 -> int2: the meanie is non-allomorphic.; assump1 & int2 -> int3: the meanie is both carbonaceous and not allomorphic.; sent16 & int3 -> int4: the cotyledon does not petrify.; sent5 & int4 -> int5: that the greaves does petrify and is not a kind of a Atticus is not right.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the meanie is carbonaceous then that the greaves petrifies and is not a kind of a Atticus is not right. ; $context$ = sent1: the theodolite is not antennal. sent2: if the cotyledon is not carbonaceous then the fact that it petrifies and is non-allomorphic does not hold. sent3: if the meanie is carbonaceous the fact that the greaves does petrify and is a kind of a Atticus is not correct. sent4: the fact that the theodolite does respect receivership and does not default gum-lac does not hold if it is not antennal. sent5: that the greaves does petrify and is not a Atticus is wrong if the cotyledon does not petrify. sent6: if the cotyledon does not petrify then the greaves petrify and is not a Atticus. sent7: the meanie is not allomorphic if the fact that the theodolite does respect receivership but it does not default gum-lac is wrong. sent8: if the greaves does petrify but it is not a Atticus the cotyledon does not respect receivership. sent9: the fact that the greaves is both antennal and not a Atticus is incorrect if the theodolite does petrify. sent10: the greaves does petrify but it is not a Atticus if the meanie is carbonaceous. sent11: if the theodolite defaults gum-lac the meanie is not allomorphic. sent12: the fact that the greaves petrifies and is a Atticus is not correct. sent13: the greaves petrifies but it is not a Atticus. sent14: that the theodolite respects receivership and does default gum-lac is not true. sent15: if that that the theodolite is antennal is correct is not right then that it respects receivership and defaults gum-lac is incorrect. sent16: the cotyledon does not petrify if the meanie is carbonaceous but it is not allomorphic. ; $proof$ = 
void -> assump1: Let's assume that the meanie is carbonaceous.; sent4 & sent1 -> int1: the fact that the theodolite respects receivership but it does not default gum-lac is false.; sent7 & int1 -> int2: the meanie is non-allomorphic.; assump1 & int2 -> int3: the meanie is both carbonaceous and not allomorphic.; sent16 & int3 -> int4: the cotyledon does not petrify.; sent5 & int4 -> int5: that the greaves does petrify and is not a kind of a Atticus is not right.; [assump1] & int5 -> hypothesis; __PROVED__