the interstellarness happens.
sent1: if that the lawsuit does not occur hold then that the strengthening Hardy does not occur and/or the cabotage occurs is not true. sent2: that the snookering thought-image does not occur and the sexcapade happens is not true if the shaping occurs. sent3: the gesticulating happens. sent4: the call-back happens. sent5: if the strengthening grazed happens the sexcapade occurs. sent6: the non-interstellarness prevents the surmountableness. sent7: the insurmountableness happens. sent8: the shaping happens if the maniness occurs. sent9: that the fact that the non-insurmountableness and/or the oatenness occurs is wrong if the interstellarness does not occur is correct. sent10: the strengthening Macleod does not occur. sent11: that either the disentangling gallbladder does not occur or the plunk occurs or both is not correct. sent12: if the fact that the non-insurmountableness or the oatenness or both happens is incorrect the maniness occurs. sent13: if the fact that the fact that either the insurmountableness happens or the oatenness occurs or both does not hold is not incorrect then the maniness happens. sent14: that either the theater does not occur or the stroke happens or both is wrong. sent15: if the strengthening Macleod does not occur then the call-back occurs. sent16: if the conditioner does not occur the Victorianness occurs. sent17: the sexcapade occurs. sent18: the identifiableness happens if the soundness occurs. sent19: if the strengthening Macleod does not occur then the strengthening grazed occurs and the call-back occurs. sent20: the stearicness occurs.
void -> assump1: Let's assume that the interstellarness does not occur.; sent9 & assump1 -> int1: the fact that that the surmountableness and/or the oatenness occurs is false hold.; int1 & sent12 -> int2: the maniness occurs.; int2 & sent8 -> int3: the shaping happens.; int3 & sent2 -> int4: the fact that not the snookering thought-image but the sexcapade happens does not hold.; sent19 & sent10 -> int5: both the strengthening grazed and the call-back happens.; int5 -> int6: that the strengthening grazed happens is not wrong.;
that either the disentangling gallbladder does not occur or the plunk occurs or both is not correct.
 -> hypothesis;
$hypothesis$ = the interstellarness happens. ; $context$ = sent1: if that the lawsuit does not occur hold then that the strengthening Hardy does not occur and/or the cabotage occurs is not true. sent2: that the snookering thought-image does not occur and the sexcapade happens is not true if the shaping occurs. sent3: the gesticulating happens. sent4: the call-back happens. sent5: if the strengthening grazed happens the sexcapade occurs. sent6: the non-interstellarness prevents the surmountableness. sent7: the insurmountableness happens. sent8: the shaping happens if the maniness occurs. sent9: that the fact that the non-insurmountableness and/or the oatenness occurs is wrong if the interstellarness does not occur is correct. sent10: the strengthening Macleod does not occur. sent11: that either the disentangling gallbladder does not occur or the plunk occurs or both is not correct. sent12: if the fact that the non-insurmountableness or the oatenness or both happens is incorrect the maniness occurs. sent13: if the fact that the fact that either the insurmountableness happens or the oatenness occurs or both does not hold is not incorrect then the maniness happens. sent14: that either the theater does not occur or the stroke happens or both is wrong. sent15: if the strengthening Macleod does not occur then the call-back occurs. sent16: if the conditioner does not occur the Victorianness occurs. sent17: the sexcapade occurs. sent18: the identifiableness happens if the soundness occurs. sent19: if the strengthening Macleod does not occur then the strengthening grazed occurs and the call-back occurs. sent20: the stearicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the interstellarness does not occur.; sent9 & assump1 -> int1: the fact that that the surmountableness and/or the oatenness occurs is false hold.; int1 & sent12 -> int2: the maniness occurs.; int2 & sent8 -> int3: the shaping happens.; int3 & sent2 -> int4: the fact that not the snookering thought-image but the sexcapade happens does not hold.; sent19 & sent10 -> int5: both the strengthening grazed and the call-back happens.; int5 -> int6: that the strengthening grazed happens is not wrong.; __UNKNOWN__