the arborvitae does not damage register.
sent1: if the contester bethinks Ichthyosauria the fact that the Hereford is not terminological and it does not heave is wrong. sent2: the dixie is not an instigator. sent3: the fact that the slasher is either non-terminological or not angry or both is not true. sent4: if something bethinks Ichthyosauria then it does not bethink revetment or it is not logistic or both. sent5: the arborvitae does damage register if the rheum is not a Putrajaya and does not damage register. sent6: the slasher is a kind of a Putrajaya if the rheum is non-alternate a limestone. sent7: the fact that the slasher is not a nectarine or not angry or both is not right if the dixie is not an instigator. sent8: if the slasher is a kind of a Putrajaya then either it is not a nectarine or it is not angry or both. sent9: if the fact that something is not terminological and it does not heave is not correct it is not agonal. sent10: the contester bethinks Ichthyosauria if the fact that the rheum does not alternate and is a limestone is not right. sent11: if the contester bethinks Ichthyosauria then the fact that the Hereford is not non-terminological and not a heaves does not hold. sent12: that the slasher is not a Putrajaya and/or does not damage register is not right if the arborvitae is not a kind of an instigator.
void -> assump1: Let's assume that the rheum is both not alternate and a limestone.; sent6 & assump1 -> int1: the slasher is a Putrajaya.; int1 & sent8 -> int2: the slasher is not a nectarine or it is not angry or both.; sent7 & sent2 -> int3: the fact that the slasher is not a kind of a nectarine and/or it is not angry does not hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the fact that the rheum is not alternate but a limestone is correct is incorrect.; int5 & sent10 -> int6: the contester does bethink Ichthyosauria.; int6 & sent1 -> int7: that the Hereford is a kind of non-terminological thing that does not heave is not true.; sent9 -> int8: the Hereford is not agonal if the fact that it is not terminological and it does not heave does not hold.; int7 & int8 -> int9: the Hereford is not agonal.;
the contester either does not bethink revetment or is not logistic or both if it does bethink Ichthyosauria.
sent4 -> hypothesis;
$hypothesis$ = the arborvitae does not damage register. ; $context$ = sent1: if the contester bethinks Ichthyosauria the fact that the Hereford is not terminological and it does not heave is wrong. sent2: the dixie is not an instigator. sent3: the fact that the slasher is either non-terminological or not angry or both is not true. sent4: if something bethinks Ichthyosauria then it does not bethink revetment or it is not logistic or both. sent5: the arborvitae does damage register if the rheum is not a Putrajaya and does not damage register. sent6: the slasher is a kind of a Putrajaya if the rheum is non-alternate a limestone. sent7: the fact that the slasher is not a nectarine or not angry or both is not right if the dixie is not an instigator. sent8: if the slasher is a kind of a Putrajaya then either it is not a nectarine or it is not angry or both. sent9: if the fact that something is not terminological and it does not heave is not correct it is not agonal. sent10: the contester bethinks Ichthyosauria if the fact that the rheum does not alternate and is a limestone is not right. sent11: if the contester bethinks Ichthyosauria then the fact that the Hereford is not non-terminological and not a heaves does not hold. sent12: that the slasher is not a Putrajaya and/or does not damage register is not right if the arborvitae is not a kind of an instigator. ; $proof$ = 
void -> assump1: Let's assume that the rheum is both not alternate and a limestone.; sent6 & assump1 -> int1: the slasher is a Putrajaya.; int1 & sent8 -> int2: the slasher is not a nectarine or it is not angry or both.; sent7 & sent2 -> int3: the fact that the slasher is not a kind of a nectarine and/or it is not angry does not hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the fact that the rheum is not alternate but a limestone is correct is incorrect.; int5 & sent10 -> int6: the contester does bethink Ichthyosauria.; int6 & sent1 -> int7: that the Hereford is a kind of non-terminological thing that does not heave is not true.; sent9 -> int8: the Hereford is not agonal if the fact that it is not terminological and it does not heave does not hold.; int7 & int8 -> int9: the Hereford is not agonal.; __UNKNOWN__