that the ejaculating occurs if the lindy happens is wrong.
sent1: the apostleship occurs. sent2: the Gula does not occur. sent3: the apostleship and the lindy happens. sent4: that either the restraint or the ruling or both occurs does not hold if the fireball does not occur. sent5: if the apostleship does not occur that the lindy does not occur or the filicide does not occur or both hold. sent6: if the chemotherapy does not occur that both the non-wintryness and the carnival happens is false. sent7: if that both the non-wintriness and the carnival occurs does not hold the fireball does not occur. sent8: the ploy does not occur if the fact that that the apostleship but not the lindy happens is wrong hold. sent9: that the backstroke but not the restraint occurs does not hold. sent10: the postexilicness does not occur and the titration does not occur. sent11: the fact that the backstroking does not occur hold if that the backstroking but not the restraint happens is incorrect. sent12: the ejaculating does not occur if that the restraint occurs or the ruling happens or both is incorrect. sent13: the ploy does not occur if the fact that both the apostleship and the lindy happens is not true. sent14: the incompressibleness does not occur if that the incompressibleness but not the mercantilism happens does not hold. sent15: the ploy does not occur if the apostleship happens but the lindy does not occur. sent16: if the fact that the apostleship does not occur is true then that the ploy does not occur hold. sent17: the fact that the bending happens and the placation does not occur is not correct. sent18: if the lindy does not occur or the filicide does not occur or both the filicide does not occur. sent19: if the ploy does not occur and the backstroke does not occur then the ejaculating happens.
void -> assump2: Let's assume that the apostleship occurs and the lindy does not occur.; assump2 -> int1: the lindy does not occur.; void -> assump1: Let's assume that the lindy occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the apostleship but not the lindy happens is not correct.; int3 & sent8 -> int4: the fact that the ploy does not occur is right.; sent11 & sent9 -> int5: the backstroking does not occur.; int4 & int5 -> int6: the ploy does not occur and the backstroke does not occur.; int6 & sent19 -> int7: the ejaculating occurs.; [assump1] & int7 -> hypothesis;
the filicide does not occur.
$hypothesis$ = that the ejaculating occurs if the lindy happens is wrong. ; $context$ = sent1: the apostleship occurs. sent2: the Gula does not occur. sent3: the apostleship and the lindy happens. sent4: that either the restraint or the ruling or both occurs does not hold if the fireball does not occur. sent5: if the apostleship does not occur that the lindy does not occur or the filicide does not occur or both hold. sent6: if the chemotherapy does not occur that both the non-wintryness and the carnival happens is false. sent7: if that both the non-wintriness and the carnival occurs does not hold the fireball does not occur. sent8: the ploy does not occur if the fact that that the apostleship but not the lindy happens is wrong hold. sent9: that the backstroke but not the restraint occurs does not hold. sent10: the postexilicness does not occur and the titration does not occur. sent11: the fact that the backstroking does not occur hold if that the backstroking but not the restraint happens is incorrect. sent12: the ejaculating does not occur if that the restraint occurs or the ruling happens or both is incorrect. sent13: the ploy does not occur if the fact that both the apostleship and the lindy happens is not true. sent14: the incompressibleness does not occur if that the incompressibleness but not the mercantilism happens does not hold. sent15: the ploy does not occur if the apostleship happens but the lindy does not occur. sent16: if the fact that the apostleship does not occur is true then that the ploy does not occur hold. sent17: the fact that the bending happens and the placation does not occur is not correct. sent18: if the lindy does not occur or the filicide does not occur or both the filicide does not occur. sent19: if the ploy does not occur and the backstroke does not occur then the ejaculating happens. ; $proof$ = 
void -> assump2: Let's assume that the apostleship occurs and the lindy does not occur.; assump2 -> int1: the lindy does not occur.; void -> assump1: Let's assume that the lindy occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the apostleship but not the lindy happens is not correct.; int3 & sent8 -> int4: the fact that the ploy does not occur is right.; sent11 & sent9 -> int5: the backstroking does not occur.; int4 & int5 -> int6: the ploy does not occur and the backstroke does not occur.; int6 & sent19 -> int7: the ejaculating occurs.; [assump1] & int7 -> hypothesis; __DISPROVED__