the aquaticsness does not occur.
sent1: the fact that the aquatics occurs but the chassing does not occur does not hold. sent2: if the passing chandelier occurs and the wash occurs then the chasse does not occur. sent3: the wash happens. sent4: not the gait but the invigilating happens. sent5: the temptation happens if the invigilating happens. sent6: the gait does not occur.
sent4 -> int1: that the invigilating occurs hold.; int1 & sent5 -> int2: the temptation occurs.;
$hypothesis$ = the aquaticsness does not occur. ; $context$ = sent1: the fact that the aquatics occurs but the chassing does not occur does not hold. sent2: if the passing chandelier occurs and the wash occurs then the chasse does not occur. sent3: the wash happens. sent4: not the gait but the invigilating happens. sent5: the temptation happens if the invigilating happens. sent6: the gait does not occur. ; $proof$ = 
sent4 -> int1: that the invigilating occurs hold.; int1 & sent5 -> int2: the temptation occurs.; __UNKNOWN__