if that the ovarianness occurs is correct the patronage happens.
sent1: if both the ovarianness and the indistinguishableness occurs the startling geomancer does not occur. sent2: the sustenance occurs. sent3: the equinoctialness occurs. sent4: the foreness does not occur if the fact that the foreness and the non-historicalness happens is incorrect. sent5: if that the hydroxiness does not occur is not false the injuring does not occur and the updating backseat does not occur. sent6: the patronage occurs if the startling geomancer does not occur and the injuring does not occur. sent7: the onrush occurs. sent8: if the fact that both the hydroxiness and the non-aphaniticness occurs is not correct the hydroxiness does not occur. sent9: that the hydroxiness happens and the aphaniticness does not occur is incorrect. sent10: if that both the thematicness and the non-circadianness occurs is wrong then the thematicness does not occur. sent11: if that the startling analyst happens but the exposing does not occur is false the startling analyst does not occur. sent12: if the hydroxiness does not occur the updating backseat does not occur. sent13: the denotativeness happens. sent14: both the glow and the thematicness happens. sent15: not the abactinalness but the poisoning happens. sent16: the stripe does not occur. sent17: the updating backseat does not occur. sent18: that the blinking does not occur triggers that the dropkicking airworthiness does not occur and the ostentatiousness does not occur.
void -> assump1: Let's assume that the ovarianness happens.; sent8 & sent9 -> int1: the fact that the hydroxiness does not occur is correct.; sent5 & int1 -> int2: the injuring does not occur and the updating backseat does not occur.; int2 -> int3: the injuring does not occur.;
$hypothesis$ = if that the ovarianness occurs is correct the patronage happens. ; $context$ = sent1: if both the ovarianness and the indistinguishableness occurs the startling geomancer does not occur. sent2: the sustenance occurs. sent3: the equinoctialness occurs. sent4: the foreness does not occur if the fact that the foreness and the non-historicalness happens is incorrect. sent5: if that the hydroxiness does not occur is not false the injuring does not occur and the updating backseat does not occur. sent6: the patronage occurs if the startling geomancer does not occur and the injuring does not occur. sent7: the onrush occurs. sent8: if the fact that both the hydroxiness and the non-aphaniticness occurs is not correct the hydroxiness does not occur. sent9: that the hydroxiness happens and the aphaniticness does not occur is incorrect. sent10: if that both the thematicness and the non-circadianness occurs is wrong then the thematicness does not occur. sent11: if that the startling analyst happens but the exposing does not occur is false the startling analyst does not occur. sent12: if the hydroxiness does not occur the updating backseat does not occur. sent13: the denotativeness happens. sent14: both the glow and the thematicness happens. sent15: not the abactinalness but the poisoning happens. sent16: the stripe does not occur. sent17: the updating backseat does not occur. sent18: that the blinking does not occur triggers that the dropkicking airworthiness does not occur and the ostentatiousness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the ovarianness happens.; sent8 & sent9 -> int1: the fact that the hydroxiness does not occur is correct.; sent5 & int1 -> int2: the injuring does not occur and the updating backseat does not occur.; int2 -> int3: the injuring does not occur.; __UNKNOWN__