there exists something such that if it does not compromise rottenstone it ambushes Zurvan and is blastoporal.
sent1: if the limestone is a Oleandraceae it is blastoporal. sent2: a Oxonian does ambush Zurvan. sent3: there exists something such that if it does not compromise rottenstone then it is blastoporal. sent4: the limestone is blastoporal if the flexor is blastoporal. sent5: the prince is not a mallee. sent6: if the limestone does not compromise rottenstone that it is not a mallee and it is not a Oxonian does not hold. sent7: the fact that the limestone is not a mallee and it is not Oxonian does not hold if the fact that it does compromise rottenstone hold. sent8: there is something such that if it does not compromise rottenstone then it does ambush Zurvan. sent9: the flexor is blastoporal. sent10: the fact that the flexor is blastoporal if the flexor is a kind of a Oxonian hold. sent11: the fact that the limestone is not a kind of a mallee but it is a Oxonian does not hold. sent12: there is something such that if it is not a kind of a Gibson then it is reputable and it is a craft. sent13: if the limestone does not compromise rottenstone the fact that it is not a mallee and is a Oxonian is not right.
void -> assump1: Let's assume that the limestone does not compromise rottenstone.; sent6 & assump1 -> int1: that the limestone is not a mallee and is not a Oxonian is not right.; sent4 & sent9 -> int2: the limestone is blastoporal.;
$hypothesis$ = there exists something such that if it does not compromise rottenstone it ambushes Zurvan and is blastoporal. ; $context$ = sent1: if the limestone is a Oleandraceae it is blastoporal. sent2: a Oxonian does ambush Zurvan. sent3: there exists something such that if it does not compromise rottenstone then it is blastoporal. sent4: the limestone is blastoporal if the flexor is blastoporal. sent5: the prince is not a mallee. sent6: if the limestone does not compromise rottenstone that it is not a mallee and it is not a Oxonian does not hold. sent7: the fact that the limestone is not a mallee and it is not Oxonian does not hold if the fact that it does compromise rottenstone hold. sent8: there is something such that if it does not compromise rottenstone then it does ambush Zurvan. sent9: the flexor is blastoporal. sent10: the fact that the flexor is blastoporal if the flexor is a kind of a Oxonian hold. sent11: the fact that the limestone is not a kind of a mallee but it is a Oxonian does not hold. sent12: there is something such that if it is not a kind of a Gibson then it is reputable and it is a craft. sent13: if the limestone does not compromise rottenstone the fact that it is not a mallee and is a Oxonian is not right. ; $proof$ = 
void -> assump1: Let's assume that the limestone does not compromise rottenstone.; sent6 & assump1 -> int1: that the limestone is not a mallee and is not a Oxonian is not right.; sent4 & sent9 -> int2: the limestone is blastoporal.; __UNKNOWN__