if the greensideness occurs then the Ionicness occurs.
sent1: the dating Oder does not occur but the unveiling necessity occurs. sent2: not the indicative but the falsifying eightieth occurs if that the nonarbitrableness happens is true. sent3: that the catching does not occur and the Aeolianness occurs prevents that the Ionicness does not occur. sent4: that the cantillation occurs causes that the uttering pave does not occur and the fireball happens.
$hypothesis$ = if the greensideness occurs then the Ionicness occurs. ; $context$ = sent1: the dating Oder does not occur but the unveiling necessity occurs. sent2: not the indicative but the falsifying eightieth occurs if that the nonarbitrableness happens is true. sent3: that the catching does not occur and the Aeolianness occurs prevents that the Ionicness does not occur. sent4: that the cantillation occurs causes that the uttering pave does not occur and the fireball happens. ; $proof$ = 
__UNKNOWN__