the flicking fallout happens.
sent1: that the cytophotometricness happens is caused by the flicking Bubo. sent2: if the ending happens then the fact that not the refuting conventionality but the rerun occurs is right. sent3: the end and the inquisitorialness occurs. sent4: if the retraction does not occur then both the watering and the things happens. sent5: the inquisitorialness occurs if the fact that the refuting conventionality does not occur and/or the rerun occurs does not hold. sent6: that the bignoniaceousness happens is brought about by that the flicking efficacy does not occur but the wearableness happens. sent7: the flicking fallout happens if the refuting conventionality does not occur and the rerun happens. sent8: the covalentness happens if not the flicking touchline but the sou'wester occurs. sent9: that that the varying occurs is triggered by that the things happens hold. sent10: if the varying happens the fact that the refuting conventionality does not occur or the rerunning happens or both does not hold. sent11: the ignoring crassness happens.
sent3 -> int1: the end occurs.; int1 & sent2 -> int2: not the refuting conventionality but the rerunning happens.; int2 & sent7 -> hypothesis;
the flicking fallout does not occur.
$hypothesis$ = the flicking fallout happens. ; $context$ = sent1: that the cytophotometricness happens is caused by the flicking Bubo. sent2: if the ending happens then the fact that not the refuting conventionality but the rerun occurs is right. sent3: the end and the inquisitorialness occurs. sent4: if the retraction does not occur then both the watering and the things happens. sent5: the inquisitorialness occurs if the fact that the refuting conventionality does not occur and/or the rerun occurs does not hold. sent6: that the bignoniaceousness happens is brought about by that the flicking efficacy does not occur but the wearableness happens. sent7: the flicking fallout happens if the refuting conventionality does not occur and the rerun happens. sent8: the covalentness happens if not the flicking touchline but the sou'wester occurs. sent9: that that the varying occurs is triggered by that the things happens hold. sent10: if the varying happens the fact that the refuting conventionality does not occur or the rerunning happens or both does not hold. sent11: the ignoring crassness happens. ; $proof$ = 
sent3 -> int1: the end occurs.; int1 & sent2 -> int2: not the refuting conventionality but the rerunning happens.; int2 & sent7 -> hypothesis; __PROVED__