the neglecting bladder does not occur.
sent1: if the rationalizing twistwood does not occur the violation occurs. sent2: that the conformation but not the lamentation happens causes the neglecting bladder. sent3: either the neglecting offensiveness does not occur or the comparative happens or both if the chapel happens. sent4: if the comparative does not occur then the moreness does not occur. sent5: the eschatologicalness does not occur. sent6: that the mammalianness does not occur or the photoelectricity does not occur or both is false. sent7: that the neglecting yarder does not occur and/or the efficaciousness occurs is not incorrect. sent8: the violation occurs. sent9: that the neglecting bladder does not occur and the violation occurs is triggered by that the rationalizing twistwood does not occur. sent10: if the conformation does not occur then the rationalizing twistwood does not occur. sent11: the efficaciousness happens. sent12: if the lamentation happens then either the neglecting yarder does not occur or the efficaciousness does not occur or both. sent13: if that the singular happens hold then that the promotion occurs and the violation does not occur is not true. sent14: the promotion does not occur. sent15: if the promotion but not the violation happens then that the rationalizing twistwood occurs is true. sent16: the neglecting yarder does not occur and/or the efficaciousness happens if the lamentation occurs. sent17: the inefficaciousness is prevented by that the promotion does not occur. sent18: if the promotion does not occur then the fact that the neglecting yarder does not occur and/or the efficaciousness does not occur is not right. sent19: that the moreness happens brings about that the violation does not occur and the singular occurs. sent20: the reservation occurs and the promotion happens if the comparativeness does not occur. sent21: if that the reservation but not the singular occurs is not right the singular occurs. sent22: the fact that both the reservation and the non-singularness happens is false if the moreness does not occur.
void -> assump1: Let's assume that the lamentation occurs.; sent12 & assump1 -> int1: the neglecting yarder does not occur or the efficaciousness does not occur or both.; sent18 & sent14 -> int2: the fact that either the neglecting yarder does not occur or the efficaciousness does not occur or both is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the lamentation does not occur.;
the neglecting bladder happens.
$hypothesis$ = the neglecting bladder does not occur. ; $context$ = sent1: if the rationalizing twistwood does not occur the violation occurs. sent2: that the conformation but not the lamentation happens causes the neglecting bladder. sent3: either the neglecting offensiveness does not occur or the comparative happens or both if the chapel happens. sent4: if the comparative does not occur then the moreness does not occur. sent5: the eschatologicalness does not occur. sent6: that the mammalianness does not occur or the photoelectricity does not occur or both is false. sent7: that the neglecting yarder does not occur and/or the efficaciousness occurs is not incorrect. sent8: the violation occurs. sent9: that the neglecting bladder does not occur and the violation occurs is triggered by that the rationalizing twistwood does not occur. sent10: if the conformation does not occur then the rationalizing twistwood does not occur. sent11: the efficaciousness happens. sent12: if the lamentation happens then either the neglecting yarder does not occur or the efficaciousness does not occur or both. sent13: if that the singular happens hold then that the promotion occurs and the violation does not occur is not true. sent14: the promotion does not occur. sent15: if the promotion but not the violation happens then that the rationalizing twistwood occurs is true. sent16: the neglecting yarder does not occur and/or the efficaciousness happens if the lamentation occurs. sent17: the inefficaciousness is prevented by that the promotion does not occur. sent18: if the promotion does not occur then the fact that the neglecting yarder does not occur and/or the efficaciousness does not occur is not right. sent19: that the moreness happens brings about that the violation does not occur and the singular occurs. sent20: the reservation occurs and the promotion happens if the comparativeness does not occur. sent21: if that the reservation but not the singular occurs is not right the singular occurs. sent22: the fact that both the reservation and the non-singularness happens is false if the moreness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the lamentation occurs.; sent12 & assump1 -> int1: the neglecting yarder does not occur or the efficaciousness does not occur or both.; sent18 & sent14 -> int2: the fact that either the neglecting yarder does not occur or the efficaciousness does not occur or both is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the lamentation does not occur.; __UNKNOWN__