the guayule is not a cryolite.
sent1: if the pectin is a kind of non-marital thing that is a canonist the record is not a Yogacara. sent2: if that the nova is gnostic and it is sorrowful is wrong the guayule is not gnostic. sent3: if something that is not postexilic is marital the nova is not gnostic. sent4: if the fact that the nova is not a remote and it is not bicameral is not correct it is a hyperacidity. sent5: that the nova is not a kind of a hyperacidity and it is not gnostic is not right if it is not a Yogacara. sent6: something is not non-marital if it is a hyperacidity. sent7: that the guayule is not a cryolite is not incorrect if the nova is a kind of a hyperacidity and it is a Yogacara. sent8: if there exists something such that it is a kind of a canonist the fact that the record is both not a Yogacara and not sorrowful is not correct. sent9: if the nova is not a cryolite it is not a kind of a Yogacara. sent10: the nova is a kind of a Yogacara if the fact that the record is not a kind of a Yogacara and it is not sorrowful is not correct. sent11: there are non-postexilic and marital things. sent12: there are canonist things.
void -> assump1: Let's assume that the nova is not a remote and it is not bicameral.; sent11 & sent3 -> int1: the nova is not gnostic.; sent12 & sent8 -> int2: that the record is not a Yogacara and is not sorrowful is incorrect.; sent10 & int2 -> int3: that the nova is a Yogacara is not incorrect.;
the crevasse is marital.
sent6 -> int4: if the fact that the crevasse is not a hyperacidity is wrong it is marital.;
$hypothesis$ = the guayule is not a cryolite. ; $context$ = sent1: if the pectin is a kind of non-marital thing that is a canonist the record is not a Yogacara. sent2: if that the nova is gnostic and it is sorrowful is wrong the guayule is not gnostic. sent3: if something that is not postexilic is marital the nova is not gnostic. sent4: if the fact that the nova is not a remote and it is not bicameral is not correct it is a hyperacidity. sent5: that the nova is not a kind of a hyperacidity and it is not gnostic is not right if it is not a Yogacara. sent6: something is not non-marital if it is a hyperacidity. sent7: that the guayule is not a cryolite is not incorrect if the nova is a kind of a hyperacidity and it is a Yogacara. sent8: if there exists something such that it is a kind of a canonist the fact that the record is both not a Yogacara and not sorrowful is not correct. sent9: if the nova is not a cryolite it is not a kind of a Yogacara. sent10: the nova is a kind of a Yogacara if the fact that the record is not a kind of a Yogacara and it is not sorrowful is not correct. sent11: there are non-postexilic and marital things. sent12: there are canonist things. ; $proof$ = 
void -> assump1: Let's assume that the nova is not a remote and it is not bicameral.; sent11 & sent3 -> int1: the nova is not gnostic.; sent12 & sent8 -> int2: that the record is not a Yogacara and is not sorrowful is incorrect.; sent10 & int2 -> int3: that the nova is a Yogacara is not incorrect.; __UNKNOWN__