the reading happens if the chloroticness happens.
sent1: the Armageddon does not occur if that the chloroticness occurs and the read does not occur is false. sent2: if that both the misuse and the connoting occurs is not true then the chloroticness does not occur. sent3: if that both the bar and the ogling togetherness occurs is not right the Normanness does not occur. sent4: if the misuse does not occur then the chloroticness does not occur.
void -> assump1: Let's assume that the reading does not occur.;
that the Armageddon does not occur is true.
$hypothesis$ = the reading happens if the chloroticness happens. ; $context$ = sent1: the Armageddon does not occur if that the chloroticness occurs and the read does not occur is false. sent2: if that both the misuse and the connoting occurs is not true then the chloroticness does not occur. sent3: if that both the bar and the ogling togetherness occurs is not right the Normanness does not occur. sent4: if the misuse does not occur then the chloroticness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the reading does not occur.; __UNKNOWN__