if that the assignor consternates stool is not false the statice is a kind of a Aragon.
sent1: the assignor is a Aragon if the fact that the statice consternates stool is right. sent2: if the statice clenches the supremacist is a Aragon. sent3: the statice clenches if the supremacist is a Aragon. sent4: the supremacist is a Aragon. sent5: if the assignor is a Aragon then the statice consternates stool. sent6: the supremacist does clench if that the assignor consternates stool hold. sent7: if the supremacist clenches that the roller is a wee hold. sent8: if the roller is a kind of a wee then the statice is a Aragon. sent9: the roller is a kind of a Aragon if the statice is a wee.
void -> assump1: Let's assume that the assignor does consternate stool.; sent6 & assump1 -> int1: the supremacist does clench.; sent7 & int1 -> int2: the roller is a wee.; sent8 & int2 -> int3: that the statice is a Aragon is true.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if that the assignor consternates stool is not false the statice is a kind of a Aragon. ; $context$ = sent1: the assignor is a Aragon if the fact that the statice consternates stool is right. sent2: if the statice clenches the supremacist is a Aragon. sent3: the statice clenches if the supremacist is a Aragon. sent4: the supremacist is a Aragon. sent5: if the assignor is a Aragon then the statice consternates stool. sent6: the supremacist does clench if that the assignor consternates stool hold. sent7: if the supremacist clenches that the roller is a wee hold. sent8: if the roller is a kind of a wee then the statice is a Aragon. sent9: the roller is a kind of a Aragon if the statice is a wee. ; $proof$ = 
void -> assump1: Let's assume that the assignor does consternate stool.; sent6 & assump1 -> int1: the supremacist does clench.; sent7 & int1 -> int2: the roller is a wee.; sent8 & int2 -> int3: that the statice is a Aragon is true.; [assump1] & int3 -> hypothesis; __PROVED__