the fact that the ophthalmicness happens is not false.
sent1: the fact that the non-surfaceness and the aid occurs is not right if the fallibleness occurs. sent2: the aid does not occur. sent3: if the touring happens the fallibleness happens. sent4: the extinguishing diastole occurs and the sortition does not occur if the re-establishment does not occur. sent5: the contributing SL happens. sent6: that the tag but not the surface happens prevents the non-ophthalmicness. sent7: if the droning Tien-pao does not occur then that the re-establishment does not occur is not false. sent8: if that the fireman but not the wrack happens is right the graphicsness happens. sent9: if the aid does not occur then the surfaceness does not occur. sent10: the contributing cordwood occurs. sent11: if the sortition does not occur both the tour and the extinguishing Arabian happens.
sent9 & sent2 -> int1: the surfacing does not occur.;
the ophthalmicness does not occur.
$hypothesis$ = the fact that the ophthalmicness happens is not false. ; $context$ = sent1: the fact that the non-surfaceness and the aid occurs is not right if the fallibleness occurs. sent2: the aid does not occur. sent3: if the touring happens the fallibleness happens. sent4: the extinguishing diastole occurs and the sortition does not occur if the re-establishment does not occur. sent5: the contributing SL happens. sent6: that the tag but not the surface happens prevents the non-ophthalmicness. sent7: if the droning Tien-pao does not occur then that the re-establishment does not occur is not false. sent8: if that the fireman but not the wrack happens is right the graphicsness happens. sent9: if the aid does not occur then the surfaceness does not occur. sent10: the contributing cordwood occurs. sent11: if the sortition does not occur both the tour and the extinguishing Arabian happens. ; $proof$ = 
sent9 & sent2 -> int1: the surfacing does not occur.; __UNKNOWN__