if the ordering does not occur then either the dilating auklet occurs or the aggression does not occur or both.
sent1: if the tangentialness occurs then the dilating pothole and/or the reunion happens. sent2: the literariness happens if that not the perforation but the ordering happens is not right. sent3: if the literariness occurs then either the dilating auklet happens or the aggression does not occur or both.
void -> assump2: Let's assume that not the perforation but the ordering occurs.; assump2 -> int1: the ordering happens.; void -> assump1: Let's assume that the ordering does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that not the perforation but the ordering occurs is not right.; sent2 & int3 -> int4: the literariness happens.; sent3 & int4 -> int5: the dilating auklet happens and/or the aggression does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the ordering does not occur then either the dilating auklet occurs or the aggression does not occur or both. ; $context$ = sent1: if the tangentialness occurs then the dilating pothole and/or the reunion happens. sent2: the literariness happens if that not the perforation but the ordering happens is not right. sent3: if the literariness occurs then either the dilating auklet happens or the aggression does not occur or both. ; $proof$ = 
void -> assump2: Let's assume that not the perforation but the ordering occurs.; assump2 -> int1: the ordering happens.; void -> assump1: Let's assume that the ordering does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that not the perforation but the ordering occurs is not right.; sent2 & int3 -> int4: the literariness happens.; sent3 & int4 -> int5: the dilating auklet happens and/or the aggression does not occur.; [assump1] & int5 -> hypothesis; __PROVED__