the hop happens.
sent1: the unfairness happens. sent2: that both the exenteration and the volution happens is caused by that the opposing B does not occur. sent3: that the hashing radiophotograph happens and the Orwellianness occurs is brought about by the non-intergalacticness. sent4: that the maintenance happens is correct if the opposing B does not occur. sent5: the hashing pay-phone does not occur. sent6: if that the volution does not occur and the opposing B occurs is false then the maintenance occurs. sent7: that the anaphylacticness does not occur is not wrong. sent8: if that the accessionalness happens and/or the according adaptability does not occur is wrong then the rubdown happens. sent9: the teamwork occurs. sent10: the exenteration occurs. sent11: that the collaring does not occur results in that the hop occurs and the exenteration happens. sent12: the fact that the accessionalness does not occur or the according adaptability does not occur or both is not true. sent13: that the rubdown and the collaring happens yields that the maintenance does not occur. sent14: if the heroine occurs the fact that the volution does not occur but the opposing B occurs is not right. sent15: the avascularness does not occur. sent16: the rubdown happens if the fact that the accessionalness does not occur and/or the according adaptability happens is not true. sent17: if the collar does not occur then the exenteration occurs. sent18: that the opposing Avon happens and the heroine does not occur brings about that the opposing B does not occur. sent19: that the according crimp does not occur and/or the hashing wedge does not occur is wrong. sent20: that the rubdown does not occur leads to that the hopping does not occur and/or the collar does not occur. sent21: that the heroine happens is correct. sent22: the opposing Antoninus occurs. sent23: if the rubdown does not occur then the confederating sampling and the collar occurs. sent24: the opposing Ulmus does not occur.
void -> assump1: Let's assume that the collar happens.; sent14 & sent21 -> int1: the fact that the volution does not occur but the opposing B occurs is not right.; sent6 & int1 -> int2: that the maintenance does not occur is false.;
the hop does not occur.
$hypothesis$ = the hop happens. ; $context$ = sent1: the unfairness happens. sent2: that both the exenteration and the volution happens is caused by that the opposing B does not occur. sent3: that the hashing radiophotograph happens and the Orwellianness occurs is brought about by the non-intergalacticness. sent4: that the maintenance happens is correct if the opposing B does not occur. sent5: the hashing pay-phone does not occur. sent6: if that the volution does not occur and the opposing B occurs is false then the maintenance occurs. sent7: that the anaphylacticness does not occur is not wrong. sent8: if that the accessionalness happens and/or the according adaptability does not occur is wrong then the rubdown happens. sent9: the teamwork occurs. sent10: the exenteration occurs. sent11: that the collaring does not occur results in that the hop occurs and the exenteration happens. sent12: the fact that the accessionalness does not occur or the according adaptability does not occur or both is not true. sent13: that the rubdown and the collaring happens yields that the maintenance does not occur. sent14: if the heroine occurs the fact that the volution does not occur but the opposing B occurs is not right. sent15: the avascularness does not occur. sent16: the rubdown happens if the fact that the accessionalness does not occur and/or the according adaptability happens is not true. sent17: if the collar does not occur then the exenteration occurs. sent18: that the opposing Avon happens and the heroine does not occur brings about that the opposing B does not occur. sent19: that the according crimp does not occur and/or the hashing wedge does not occur is wrong. sent20: that the rubdown does not occur leads to that the hopping does not occur and/or the collar does not occur. sent21: that the heroine happens is correct. sent22: the opposing Antoninus occurs. sent23: if the rubdown does not occur then the confederating sampling and the collar occurs. sent24: the opposing Ulmus does not occur. ; $proof$ = 
void -> assump1: Let's assume that the collar happens.; sent14 & sent21 -> int1: the fact that the volution does not occur but the opposing B occurs is not right.; sent6 & int1 -> int2: that the maintenance does not occur is false.; __UNKNOWN__