the Australianness does not occur.
sent1: the jingoism occurs. sent2: if both the Australianness and the neoplasticness occurs then the jingoism does not occur. sent3: the neoplasticness occurs. sent4: that the neoplasticness does not occur and the jingoism does not occur yields the Australianness. sent5: the briefing and the Australianness occurs if the neoplasticness does not occur.
void -> assump1: Let's assume that the Australian happens.; assump1 & sent3 -> int1: the Australianness and the neoplasticness occurs.; int1 & sent2 -> int2: the jingoism does not occur.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the briefing occurs.
$hypothesis$ = the Australianness does not occur. ; $context$ = sent1: the jingoism occurs. sent2: if both the Australianness and the neoplasticness occurs then the jingoism does not occur. sent3: the neoplasticness occurs. sent4: that the neoplasticness does not occur and the jingoism does not occur yields the Australianness. sent5: the briefing and the Australianness occurs if the neoplasticness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Australian happens.; assump1 & sent3 -> int1: the Australianness and the neoplasticness occurs.; int1 & sent2 -> int2: the jingoism does not occur.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__