the hellgrammiate is not a Richardson and/or it is a astrogator.
sent1: the playmaker is not a Rajput. sent2: the edge is a mirage if the playmaker is a mirage. sent3: the Xerox is astronomic. sent4: if the pikestaff is not a OPEC then the edge is not a OPEC and not a mirage. sent5: if the playmaker is not a kind of a Rajput then it is a mirage. sent6: the Xerox is not a alpha-adrenoceptor if the pikestaff is not a ingress or is a kind of a alpha-adrenoceptor or both. sent7: the fact that something is not a kind of a Richardson or it is a kind of a astrogator or both is not true if that it is not a kind of a OPEC is not wrong. sent8: the edge does laicize echelon and/or it is a mittelschmerz. sent9: the pikestaff is not a OPEC if that the Xerox is both astronomic and not palatal is false. sent10: if that the Xerox is not palatal is not false then either the hellgrammiate is not a kind of a Richardson or it is a kind of a astrogator or both. sent11: the edge is not a kind of a Griffith if it does laicize echelon and/or is a mittelschmerz. sent12: that the hellgrammiate is not a astrogator and/or it is a OPEC hold. sent13: something that is a kind of a diethylstilbestrol is not a ingress or is a alpha-adrenoceptor or both. sent14: something is not a Rajput but it is heterotrophic if it is not a alpha-adrenoceptor. sent15: the hellgrammiate is not a kind of a OPEC and it is not a mirage if that the Xerox is a Rajput does not hold.
void -> assump1: Let's assume that the fact that the Xerox is both astronomic and not a palatal is false.; sent9 & assump1 -> int1: the pikestaff is not a kind of a OPEC.; int1 & sent4 -> int2: the edge is not a kind of a OPEC and is not a mirage.; int2 -> int3: the edge is not a mirage.; sent5 & sent1 -> int4: the playmaker is a mirage.; sent2 & int4 -> int5: the edge is a kind of a mirage.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Xerox is astronomic but it is not a kind of a palatal.; int7 -> int8: the Xerox is not palatal.; int8 & sent10 -> hypothesis;
that the hellgrammiate is not a Richardson and/or is a astrogator is incorrect.
sent7 -> int9: the fact that the hellgrammiate either is not a Richardson or is a astrogator or both is not right if it is not a OPEC.; sent14 -> int10: the Xerox is not a Rajput but it is heterotrophic if it is not a alpha-adrenoceptor.; sent13 -> int11: the pikestaff is not a ingress and/or it is a alpha-adrenoceptor if it is a diethylstilbestrol.; sent11 & sent8 -> int12: the edge is not a Griffith.; int12 -> int13: there exists something such that it is not a Griffith.;
$hypothesis$ = the hellgrammiate is not a Richardson and/or it is a astrogator. ; $context$ = sent1: the playmaker is not a Rajput. sent2: the edge is a mirage if the playmaker is a mirage. sent3: the Xerox is astronomic. sent4: if the pikestaff is not a OPEC then the edge is not a OPEC and not a mirage. sent5: if the playmaker is not a kind of a Rajput then it is a mirage. sent6: the Xerox is not a alpha-adrenoceptor if the pikestaff is not a ingress or is a kind of a alpha-adrenoceptor or both. sent7: the fact that something is not a kind of a Richardson or it is a kind of a astrogator or both is not true if that it is not a kind of a OPEC is not wrong. sent8: the edge does laicize echelon and/or it is a mittelschmerz. sent9: the pikestaff is not a OPEC if that the Xerox is both astronomic and not palatal is false. sent10: if that the Xerox is not palatal is not false then either the hellgrammiate is not a kind of a Richardson or it is a kind of a astrogator or both. sent11: the edge is not a kind of a Griffith if it does laicize echelon and/or is a mittelschmerz. sent12: that the hellgrammiate is not a astrogator and/or it is a OPEC hold. sent13: something that is a kind of a diethylstilbestrol is not a ingress or is a alpha-adrenoceptor or both. sent14: something is not a Rajput but it is heterotrophic if it is not a alpha-adrenoceptor. sent15: the hellgrammiate is not a kind of a OPEC and it is not a mirage if that the Xerox is a Rajput does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Xerox is both astronomic and not a palatal is false.; sent9 & assump1 -> int1: the pikestaff is not a kind of a OPEC.; int1 & sent4 -> int2: the edge is not a kind of a OPEC and is not a mirage.; int2 -> int3: the edge is not a mirage.; sent5 & sent1 -> int4: the playmaker is a mirage.; sent2 & int4 -> int5: the edge is a kind of a mirage.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Xerox is astronomic but it is not a kind of a palatal.; int7 -> int8: the Xerox is not palatal.; int8 & sent10 -> hypothesis; __PROVED__