if the federalizing prodigal does not occur the gyralness does not occur.
sent1: the transoceanicness happens. sent2: if the encircling ladyfinger does not occur then the filing does not occur. sent3: the puppetry occurs if the encircling sacerdotalism happens. sent4: the snowing bronchus occurs. sent5: that the emmetropicness does not occur is prevented by that the gyralness does not occur and the federalizing prodigal does not occur. sent6: the quantitativeness does not occur. sent7: that the gyralness does not occur is brought about by the federalizing prodigal.
void -> assump1: Let's assume that the gyralness occurs.;
the emmetropicness occurs.
$hypothesis$ = if the federalizing prodigal does not occur the gyralness does not occur. ; $context$ = sent1: the transoceanicness happens. sent2: if the encircling ladyfinger does not occur then the filing does not occur. sent3: the puppetry occurs if the encircling sacerdotalism happens. sent4: the snowing bronchus occurs. sent5: that the emmetropicness does not occur is prevented by that the gyralness does not occur and the federalizing prodigal does not occur. sent6: the quantitativeness does not occur. sent7: that the gyralness does not occur is brought about by the federalizing prodigal. ; $proof$ = 
void -> assump1: Let's assume that the gyralness occurs.; __UNKNOWN__