if the cheliceralness happens the assertiveness occurs.
sent1: the latinateness does not occur. sent2: that the cheliceralness does not occur hold if the disguising curie occurs. sent3: the Romans does not occur. sent4: if the fact that the disguising curie does not occur hold then the assertiveness occurs. sent5: the lexicography does not occur if the elements occurs. sent6: the clapping Circe occurs. sent7: if the disguising curie occurs the cheliceralness occurs.
void -> assump2: Let's assume that the disguising curie happens.; sent2 & assump2 -> int1: the cheliceralness does not occur.; void -> assump1: Let's assume that the cheliceralness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the disguising curie does not occur.; int3 & sent4 -> int4: the assertiveness happens.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the cheliceralness happens the assertiveness occurs. ; $context$ = sent1: the latinateness does not occur. sent2: that the cheliceralness does not occur hold if the disguising curie occurs. sent3: the Romans does not occur. sent4: if the fact that the disguising curie does not occur hold then the assertiveness occurs. sent5: the lexicography does not occur if the elements occurs. sent6: the clapping Circe occurs. sent7: if the disguising curie occurs the cheliceralness occurs. ; $proof$ = 
void -> assump2: Let's assume that the disguising curie happens.; sent2 & assump2 -> int1: the cheliceralness does not occur.; void -> assump1: Let's assume that the cheliceralness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the disguising curie does not occur.; int3 & sent4 -> int4: the assertiveness happens.; [assump1] & int4 -> hypothesis; __PROVED__