the fact that not the investing legislature but the gravity happens is false if the working happens.
sent1: if the rejoinder and the unsocialness happens then the Ravel does not occur. sent2: that the Ravel does not occur is correct if the rejoinder does not occur and the socialness does not occur. sent3: the fact that not the investing legislature but the gravity happens is not right if the Ravel does not occur. sent4: the fact that both the investing legislature and the gravity happens is false if the Ravel does not occur. sent5: that the rejoinder does not occur and the socialness occurs leads to that the Ravel does not occur.
$hypothesis$ = the fact that not the investing legislature but the gravity happens is false if the working happens. ; $context$ = sent1: if the rejoinder and the unsocialness happens then the Ravel does not occur. sent2: that the Ravel does not occur is correct if the rejoinder does not occur and the socialness does not occur. sent3: the fact that not the investing legislature but the gravity happens is not right if the Ravel does not occur. sent4: the fact that both the investing legislature and the gravity happens is false if the Ravel does not occur. sent5: that the rejoinder does not occur and the socialness occurs leads to that the Ravel does not occur. ; $proof$ = 
__UNKNOWN__