the ordinary occurs.
sent1: the massage happens if the fact that the benzylicness happens is right. sent2: the storminess occurs and the aggregating course happens. sent3: the entericness happens. sent4: the ordinary is triggered by that the murine occurs. sent5: that the non-benzylicness and the non-thespianness occurs causes the non-ordinariness. sent6: if the dissociating fisherman does not occur and the moving tyrant does not occur then the murine happens. sent7: the benzylicness happens and the thespianness occurs. sent8: that the massaging occurs and the moving tyrant occurs prevents the trustworthiness. sent9: the procedure does not occur if the resizing occurs. sent10: the fact that the yelling coastguardsman does not occur but the schizophrenic occurs does not hold. sent11: if the procedure does not occur then not the dissociating fisherman but the reincarnation happens. sent12: the rounding happens. sent13: that both the non-peripateticness and the non-trustworthiness occurs is not true. sent14: the trustworthiness occurs if that both the non-peripateticness and the trustworthinessness happens does not hold.
sent7 -> int1: the benzylicness happens.; int1 & sent1 -> int2: the massaging happens.; void -> assump1: Let's assume that the moving tyrant happens.; int2 & assump1 -> int3: the massaging and the moving tyrant occurs.; int3 & sent8 -> int4: the trustworthiness does not occur.; sent14 & sent13 -> int5: the trustworthiness happens.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the moving tyrant does not occur.;
the ordinariness does not occur.
$hypothesis$ = the ordinary occurs. ; $context$ = sent1: the massage happens if the fact that the benzylicness happens is right. sent2: the storminess occurs and the aggregating course happens. sent3: the entericness happens. sent4: the ordinary is triggered by that the murine occurs. sent5: that the non-benzylicness and the non-thespianness occurs causes the non-ordinariness. sent6: if the dissociating fisherman does not occur and the moving tyrant does not occur then the murine happens. sent7: the benzylicness happens and the thespianness occurs. sent8: that the massaging occurs and the moving tyrant occurs prevents the trustworthiness. sent9: the procedure does not occur if the resizing occurs. sent10: the fact that the yelling coastguardsman does not occur but the schizophrenic occurs does not hold. sent11: if the procedure does not occur then not the dissociating fisherman but the reincarnation happens. sent12: the rounding happens. sent13: that both the non-peripateticness and the non-trustworthiness occurs is not true. sent14: the trustworthiness occurs if that both the non-peripateticness and the trustworthinessness happens does not hold. ; $proof$ = 
sent7 -> int1: the benzylicness happens.; int1 & sent1 -> int2: the massaging happens.; void -> assump1: Let's assume that the moving tyrant happens.; int2 & assump1 -> int3: the massaging and the moving tyrant occurs.; int3 & sent8 -> int4: the trustworthiness does not occur.; sent14 & sent13 -> int5: the trustworthiness happens.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the moving tyrant does not occur.; __UNKNOWN__