the bedrest happens.
sent1: the fact that both the benzylicness and the speakership occurs is incorrect if the scuffing does not occur. sent2: that the concatenation does not occur and the seizure does not occur does not hold if the calycularness does not occur. sent3: the hydrostaticsness and the chaetalness happens if the bivalve does not occur. sent4: if the fact that the polemic occurs and the calycularness happens is incorrect then the bedrest does not occur. sent5: the concatenation happens and the acarpelousness occurs. sent6: that the ecarte happens is caused by the hydrostaticsness. sent7: that both the polemic and the non-calycularness occurs is wrong if the bedrest happens. sent8: the non-catoptricsness and the non-acarpelousness happens if the ecarte happens. sent9: that the bedrest occurs is not false if the acarpelousness does not occur. sent10: the scuffing occurs and the capering happens. sent11: that the polemic and the calycularness occurs is wrong if the seizure does not occur. sent12: if the capering does not occur then both the bedrest and the scuff happens. sent13: the seizure does not occur if both the scuffing and the concatenation happens. sent14: if the acarpelousness does not occur then the calycularness does not occur but the polemic occurs.
sent10 -> int1: the scuff happens.; sent5 -> int2: the fact that the concatenation occurs hold.; int1 & int2 -> int3: the scuff occurs and the concatenation occurs.; int3 & sent13 -> int4: the fact that the seizure does not occur is true.; int4 & sent11 -> int5: that the polemic and the calycularness happens is false.; int5 & sent4 -> hypothesis;
the fact that both the benzylicness and the speakership happens is false.
$hypothesis$ = the bedrest happens. ; $context$ = sent1: the fact that both the benzylicness and the speakership occurs is incorrect if the scuffing does not occur. sent2: that the concatenation does not occur and the seizure does not occur does not hold if the calycularness does not occur. sent3: the hydrostaticsness and the chaetalness happens if the bivalve does not occur. sent4: if the fact that the polemic occurs and the calycularness happens is incorrect then the bedrest does not occur. sent5: the concatenation happens and the acarpelousness occurs. sent6: that the ecarte happens is caused by the hydrostaticsness. sent7: that both the polemic and the non-calycularness occurs is wrong if the bedrest happens. sent8: the non-catoptricsness and the non-acarpelousness happens if the ecarte happens. sent9: that the bedrest occurs is not false if the acarpelousness does not occur. sent10: the scuffing occurs and the capering happens. sent11: that the polemic and the calycularness occurs is wrong if the seizure does not occur. sent12: if the capering does not occur then both the bedrest and the scuff happens. sent13: the seizure does not occur if both the scuffing and the concatenation happens. sent14: if the acarpelousness does not occur then the calycularness does not occur but the polemic occurs. ; $proof$ = 
sent10 -> int1: the scuff happens.; sent5 -> int2: the fact that the concatenation occurs hold.; int1 & int2 -> int3: the scuff occurs and the concatenation occurs.; int3 & sent13 -> int4: the fact that the seizure does not occur is true.; int4 & sent11 -> int5: that the polemic and the calycularness happens is false.; int5 & sent4 -> hypothesis; __DISPROVED__