if the enraging happens then the venting happens.
sent1: if the save occurs then the fact that the wronging does not occur is not incorrect. sent2: if the dilapidating gamin does not occur that the strut happens hold. sent3: the converging does not occur if the fact that the aborting does not occur and the smocking Tandy occurs is not true. sent4: the dilapidating countercheck occurs. sent5: the fact that the save and the tellurianness happens is not true if the enraging happens. sent6: the muciferousness happens if that the smocking obsidian occurs is not false. sent7: that not the converging but the smocking thymine occurs does not hold. sent8: that the appealableness happens is not wrong. sent9: that the vent does not occur is prevented by the non-wrongness. sent10: if that the shape-up does not occur but the decortication happens is not correct then the spieling does not occur. sent11: the wronging does not occur if the fact that the saving does not occur and the tellurian happens is false. sent12: that the save happens and the tellurianness happens is false. sent13: the exportableness does not occur if the fact that the smocking motile does not occur and the combining happens is not right. sent14: the adrenocorticalness happens if the univalveness happens. sent15: the fact that the disguise does not occur and the spiel happens does not hold.
$hypothesis$ = if the enraging happens then the venting happens. ; $context$ = sent1: if the save occurs then the fact that the wronging does not occur is not incorrect. sent2: if the dilapidating gamin does not occur that the strut happens hold. sent3: the converging does not occur if the fact that the aborting does not occur and the smocking Tandy occurs is not true. sent4: the dilapidating countercheck occurs. sent5: the fact that the save and the tellurianness happens is not true if the enraging happens. sent6: the muciferousness happens if that the smocking obsidian occurs is not false. sent7: that not the converging but the smocking thymine occurs does not hold. sent8: that the appealableness happens is not wrong. sent9: that the vent does not occur is prevented by the non-wrongness. sent10: if that the shape-up does not occur but the decortication happens is not correct then the spieling does not occur. sent11: the wronging does not occur if the fact that the saving does not occur and the tellurian happens is false. sent12: that the save happens and the tellurianness happens is false. sent13: the exportableness does not occur if the fact that the smocking motile does not occur and the combining happens is not right. sent14: the adrenocorticalness happens if the univalveness happens. sent15: the fact that the disguise does not occur and the spiel happens does not hold. ; $proof$ = 
__UNKNOWN__