the threat occurs and the Greekness happens.
sent1: if the fuming does not occur then the sponsorship and the bargaining ferritin occurs. sent2: that the seaming marum occurs and the fuming occurs is correct. sent3: the fuming occurs. sent4: if the seaming Nyctanassa does not occur the fact that the threat occurs and the Greek happens does not hold. sent5: if that the seaming mortgaged but not the offertory occurs is not right the seaming mortgaged does not occur. sent6: if the fact that the exhaustion does not occur is not wrong that both the seaming mortgaged and the seaming marum occurs hold. sent7: the exhaustion happens. sent8: if the seaming mortgaged does not occur then the bargaining ferritin and the fuming occurs. sent9: if the seaming mortgaged does not occur then that both the threat and the non-Greekness occurs is wrong. sent10: that both the seaming llano and the seaming Nyctanassa happens is caused by that the bargaining macron does not occur. sent11: if the fact that the basicness occurs and the offertory does not occur is false the exhaustion does not occur. sent12: the fuming causes that the bromicness happens. sent13: the threat happens if the bargaining ferritin does not occur. sent14: the seaming Nyctanassa occurs. sent15: the seaming squark happens and the undependableness happens. sent16: if the exhaustion does not occur then the seaming mortgaged does not occur and the seaming marum occurs. sent17: the bargaining macron occurs but the seaming Nyctanassa does not occur if the fact that the sponsorship occurs hold. sent18: both the fuming and the Greekness occurs. sent19: that the washableness occurs is correct. sent20: the seaming Nyctanassa occurs and the bargaining macron happens. sent21: the bargaining ferritin does not occur if the fact that the sponsorship happens hold.
sent20 -> int1: that the bargaining macron occurs hold.; int1 -> int2: the bargaining macron and/or the sponsorship occurs.; sent18 -> int3: the Greek happens.;
that the threat happens and the Greek occurs is not true.
$hypothesis$ = the threat occurs and the Greekness happens. ; $context$ = sent1: if the fuming does not occur then the sponsorship and the bargaining ferritin occurs. sent2: that the seaming marum occurs and the fuming occurs is correct. sent3: the fuming occurs. sent4: if the seaming Nyctanassa does not occur the fact that the threat occurs and the Greek happens does not hold. sent5: if that the seaming mortgaged but not the offertory occurs is not right the seaming mortgaged does not occur. sent6: if the fact that the exhaustion does not occur is not wrong that both the seaming mortgaged and the seaming marum occurs hold. sent7: the exhaustion happens. sent8: if the seaming mortgaged does not occur then the bargaining ferritin and the fuming occurs. sent9: if the seaming mortgaged does not occur then that both the threat and the non-Greekness occurs is wrong. sent10: that both the seaming llano and the seaming Nyctanassa happens is caused by that the bargaining macron does not occur. sent11: if the fact that the basicness occurs and the offertory does not occur is false the exhaustion does not occur. sent12: the fuming causes that the bromicness happens. sent13: the threat happens if the bargaining ferritin does not occur. sent14: the seaming Nyctanassa occurs. sent15: the seaming squark happens and the undependableness happens. sent16: if the exhaustion does not occur then the seaming mortgaged does not occur and the seaming marum occurs. sent17: the bargaining macron occurs but the seaming Nyctanassa does not occur if the fact that the sponsorship occurs hold. sent18: both the fuming and the Greekness occurs. sent19: that the washableness occurs is correct. sent20: the seaming Nyctanassa occurs and the bargaining macron happens. sent21: the bargaining ferritin does not occur if the fact that the sponsorship happens hold. ; $proof$ = 
sent20 -> int1: that the bargaining macron occurs hold.; int1 -> int2: the bargaining macron and/or the sponsorship occurs.; sent18 -> int3: the Greek happens.; __UNKNOWN__