the fact that the fact that the fattism does not occur but the tympaniticness occurs hold is not true.
sent1: if the alkylicness does not occur the owning does not occur. sent2: the non-alkylicness is triggered by that the imitation does not occur or the Jordanian or both. sent3: if the optimizing does not occur then the siding prematureness and the unadoptableness occurs. sent4: if both the imitation and the scourging occurs then the siding prematureness does not occur. sent5: if the owning does not occur the fact that the fattism does not occur but the tympaniticness occurs is not true. sent6: if the athleticness happens then the scourging occurs. sent7: the gingivalness but not the optimizing happens. sent8: if the Jordanian happens not the imitation but the siding prematureness occurs.
void -> assump1: Let's assume that the imitation occurs.; sent7 -> int1: the optimizing does not occur.; sent3 & int1 -> int2: both the siding prematureness and the unadoptableness occurs.; int2 -> int3: that the siding prematureness occurs hold.;
the econometricness occurs.
$hypothesis$ = the fact that the fact that the fattism does not occur but the tympaniticness occurs hold is not true. ; $context$ = sent1: if the alkylicness does not occur the owning does not occur. sent2: the non-alkylicness is triggered by that the imitation does not occur or the Jordanian or both. sent3: if the optimizing does not occur then the siding prematureness and the unadoptableness occurs. sent4: if both the imitation and the scourging occurs then the siding prematureness does not occur. sent5: if the owning does not occur the fact that the fattism does not occur but the tympaniticness occurs is not true. sent6: if the athleticness happens then the scourging occurs. sent7: the gingivalness but not the optimizing happens. sent8: if the Jordanian happens not the imitation but the siding prematureness occurs. ; $proof$ = 
void -> assump1: Let's assume that the imitation occurs.; sent7 -> int1: the optimizing does not occur.; sent3 & int1 -> int2: both the siding prematureness and the unadoptableness occurs.; int2 -> int3: that the siding prematureness occurs hold.; __UNKNOWN__