the megalithicness but not the placation occurs.
sent1: if that both the non-unalterableness and the launching swanflower happens does not hold the launching swanflower does not occur. sent2: if the photometry happens then the fact that the Split happens is not false. sent3: if the phlegminess does not occur then the rabidness and the dinning occurs. sent4: that the megalithicness occurs is caused by that the adolescent does not occur and/or the contraction. sent5: the fact that the strangulating Karen does not occur but the rabidness occurs does not hold. sent6: that the launching swanflower does not occur is prevented by that the placation happens. sent7: if the fact that not the strangulating Karen but the rabidness happens does not hold the rabidness does not occur. sent8: that the unalterableness occurs or that the collecting kolkhoznik occurs or both prevents the vigilantism. sent9: if that the placation happens and the launching swanflower occurs is not right the flabbergasting antiphony does not occur. sent10: the collecting kolkhoznik happens if the launching swanflower happens. sent11: that the adolescentness does not occur and the contraction does not occur does not hold if the fact that the dinning happens is not wrong. sent12: if the uxoricide does not occur the fake occurs. sent13: that the dinning does not occur is right. sent14: if that the rabidness does not occur is not false the vigilantism and the hemorrhoidectomy happens. sent15: if the hemorrhoidectomy does not occur the fact that the collecting kolkhoznik happens and the vigilantism occurs is not correct.
void -> assump1: Let's assume that the placation occurs.; sent6 & assump1 -> int1: the launching swanflower occurs.; int1 & sent10 -> int2: the collecting kolkhoznik occurs.; int2 -> int3: the unalterableness occurs and/or the collecting kolkhoznik occurs.; int3 & sent8 -> int4: the vigilantism does not occur.; sent7 & sent5 -> int5: the rabidness does not occur.; sent14 & int5 -> int6: the vigilantism happens and the hemorrhoidectomy happens.; int6 -> int7: the fact that the vigilantism occurs hold.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the placation does not occur.;
the fact that the megalithicness occurs and the placation does not occur does not hold.
$hypothesis$ = the megalithicness but not the placation occurs. ; $context$ = sent1: if that both the non-unalterableness and the launching swanflower happens does not hold the launching swanflower does not occur. sent2: if the photometry happens then the fact that the Split happens is not false. sent3: if the phlegminess does not occur then the rabidness and the dinning occurs. sent4: that the megalithicness occurs is caused by that the adolescent does not occur and/or the contraction. sent5: the fact that the strangulating Karen does not occur but the rabidness occurs does not hold. sent6: that the launching swanflower does not occur is prevented by that the placation happens. sent7: if the fact that not the strangulating Karen but the rabidness happens does not hold the rabidness does not occur. sent8: that the unalterableness occurs or that the collecting kolkhoznik occurs or both prevents the vigilantism. sent9: if that the placation happens and the launching swanflower occurs is not right the flabbergasting antiphony does not occur. sent10: the collecting kolkhoznik happens if the launching swanflower happens. sent11: that the adolescentness does not occur and the contraction does not occur does not hold if the fact that the dinning happens is not wrong. sent12: if the uxoricide does not occur the fake occurs. sent13: that the dinning does not occur is right. sent14: if that the rabidness does not occur is not false the vigilantism and the hemorrhoidectomy happens. sent15: if the hemorrhoidectomy does not occur the fact that the collecting kolkhoznik happens and the vigilantism occurs is not correct. ; $proof$ = 
void -> assump1: Let's assume that the placation occurs.; sent6 & assump1 -> int1: the launching swanflower occurs.; int1 & sent10 -> int2: the collecting kolkhoznik occurs.; int2 -> int3: the unalterableness occurs and/or the collecting kolkhoznik occurs.; int3 & sent8 -> int4: the vigilantism does not occur.; sent7 & sent5 -> int5: the rabidness does not occur.; sent14 & int5 -> int6: the vigilantism happens and the hemorrhoidectomy happens.; int6 -> int7: the fact that the vigilantism occurs hold.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the placation does not occur.; __UNKNOWN__