not the refining Liechtensteiner but the defect occurs.
sent1: if the impeding frankness occurs the fact that not the refining Liechtensteiner but the defecting occurs is wrong. sent2: the refining Cathartidae does not occur if the unpredictableness happens or the siding Cyprus happens or both. sent3: if the fact that the impeding Haematopodidae does not occur is not false then the alteration happens but the impeding Ventose does not occur. sent4: the non-smokelessness and the siding neritid happens. sent5: the diverting does not occur if the baricness happens. sent6: if the impeding frankness occurs the refining pongid does not occur. sent7: that the impeding cytosol occurs is not false. sent8: if the denunciation does not occur then both the impeding frankness and the refining pongid occurs. sent9: the inopportuneness happens. sent10: that the alteration but not the impeding Ventose happens prevents that the denunciation does not occur. sent11: the fact that the denunciation does not occur is right if the impeding Ventose does not occur. sent12: the defect occurs. sent13: if the examination happens then the anisogameticness does not occur. sent14: the Bismarckianness or the bandaging or both happens. sent15: that the impeding frankness does not occur is brought about by that the refining pongid happens and the defect occurs. sent16: the refining pongid and the defecting occurs if the denunciation does not occur. sent17: the refining pongid occurs. sent18: the frivolousness happens.
void -> assump1: Let's assume that the refining Liechtensteiner happens.; assump1 -> int1: that the refining Liechtensteiner and/or the impeding frankness occurs is correct.;
that the refining Liechtensteiner does not occur and the defect occurs is not correct.
$hypothesis$ = not the refining Liechtensteiner but the defect occurs. ; $context$ = sent1: if the impeding frankness occurs the fact that not the refining Liechtensteiner but the defecting occurs is wrong. sent2: the refining Cathartidae does not occur if the unpredictableness happens or the siding Cyprus happens or both. sent3: if the fact that the impeding Haematopodidae does not occur is not false then the alteration happens but the impeding Ventose does not occur. sent4: the non-smokelessness and the siding neritid happens. sent5: the diverting does not occur if the baricness happens. sent6: if the impeding frankness occurs the refining pongid does not occur. sent7: that the impeding cytosol occurs is not false. sent8: if the denunciation does not occur then both the impeding frankness and the refining pongid occurs. sent9: the inopportuneness happens. sent10: that the alteration but not the impeding Ventose happens prevents that the denunciation does not occur. sent11: the fact that the denunciation does not occur is right if the impeding Ventose does not occur. sent12: the defect occurs. sent13: if the examination happens then the anisogameticness does not occur. sent14: the Bismarckianness or the bandaging or both happens. sent15: that the impeding frankness does not occur is brought about by that the refining pongid happens and the defect occurs. sent16: the refining pongid and the defecting occurs if the denunciation does not occur. sent17: the refining pongid occurs. sent18: the frivolousness happens. ; $proof$ = 
void -> assump1: Let's assume that the refining Liechtensteiner happens.; assump1 -> int1: that the refining Liechtensteiner and/or the impeding frankness occurs is correct.; __UNKNOWN__