the circling Brachychiton occurs.
sent1: the abnormalness occurs. sent2: the circling Brachychiton happens if the fact that the awarding avowal does not occur but the circling noun happens is incorrect. sent3: the uncriticalness happens. sent4: that that the awarding avowal does not occur but the circling noun occurs is right does not hold if that the confronting does not occur hold. sent5: if that the emanating but not the uncriticalness occurs is false the circling compulsive does not occur. sent6: the bolt does not occur if the fact that both the criticalness and the emanating occurs is false. sent7: if the circling compulsive does not occur then the circling Brachychiton does not occur.
void -> assump1: Let's assume that the emanating but not the uncriticalness happens.; assump1 -> int1: the uncriticalness does not occur.; sent3 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the emanating occurs but the uncriticalness does not occur does not hold.; sent5 & int3 -> int4: the circling compulsive does not occur.; sent7 & int4 -> hypothesis;
the bolting does not occur.
$hypothesis$ = the circling Brachychiton occurs. ; $context$ = sent1: the abnormalness occurs. sent2: the circling Brachychiton happens if the fact that the awarding avowal does not occur but the circling noun happens is incorrect. sent3: the uncriticalness happens. sent4: that that the awarding avowal does not occur but the circling noun occurs is right does not hold if that the confronting does not occur hold. sent5: if that the emanating but not the uncriticalness occurs is false the circling compulsive does not occur. sent6: the bolt does not occur if the fact that both the criticalness and the emanating occurs is false. sent7: if the circling compulsive does not occur then the circling Brachychiton does not occur. ; $proof$ = 
void -> assump1: Let's assume that the emanating but not the uncriticalness happens.; assump1 -> int1: the uncriticalness does not occur.; sent3 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the emanating occurs but the uncriticalness does not occur does not hold.; sent5 & int3 -> int4: the circling compulsive does not occur.; sent7 & int4 -> hypothesis; __DISPROVED__