that the Hittiteness happens is brought about by that the mineral occurs.
sent1: if that the tonsorialness and the smocking brassavola occurs is incorrect then the mineral does not occur. sent2: if that the mineral and/or the non-Hittiteness occurs does not hold the orderliness does not occur. sent3: the mineralness happens if the fact that the tonsorialness and the smocking brassavola occurs is not correct. sent4: the fact that the mineral does not occur is not false if the tonsorialness does not occur.
void -> assump1: Let's assume that that the mineral occurs is correct.;
the fact that the orderliness does not occur is correct.
$hypothesis$ = that the Hittiteness happens is brought about by that the mineral occurs. ; $context$ = sent1: if that the tonsorialness and the smocking brassavola occurs is incorrect then the mineral does not occur. sent2: if that the mineral and/or the non-Hittiteness occurs does not hold the orderliness does not occur. sent3: the mineralness happens if the fact that the tonsorialness and the smocking brassavola occurs is not correct. sent4: the fact that the mineral does not occur is not false if the tonsorialness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the mineral occurs is correct.; __UNKNOWN__