if the prehistoricness occurs the cleanness does not occur and the abdominoplasty does not occur.
sent1: the dilating mulloway occurs. sent2: the jihadiness is prevented by that both the impracticalness and the sultriness occurs. sent3: that the negative occurs is brought about by the wantoning. sent4: the tectonicsness occurs if the negativeness occurs. sent5: the civicsness occurs. sent6: that the mamboing occurs is prevented by that both the obscurantism and the prehistoricness happens. sent7: the Rooseveltianness happens. sent8: the startup does not occur if the comforting does not occur. sent9: that that the touching does not occur and the Liberian occurs is correct does not hold. sent10: the liner does not occur and the dilating Lepidodendraceae does not occur. sent11: if the mamboing does not occur not the clean but the abdominoplasty happens. sent12: if the fact that that the touching does not occur and the Liberian happens is right is not correct the wanton happens. sent13: the overpayment does not occur and the thrusting income does not occur if that the clip occurs is true. sent14: the uncleanness and the abdominoplasty happens. sent15: that the mambo does not occur triggers that the cleanness does not occur and the abdominoplasty does not occur. sent16: the Chianness occurs. sent17: the fact that the Sin does not occur is not false if the respecting does not occur. sent18: if the tectonicsness occurs that the obscurantism occurs is not false. sent19: the wanton happens if the Liberian does not occur. sent20: if that the immobilization happens is not false then the cataleptic does not occur. sent21: the cleaning does not occur.
sent12 & sent9 -> int1: the wantoning happens.; sent3 & int1 -> int2: the negativeness occurs.; sent4 & int2 -> int3: the tectonicsness occurs.; sent18 & int3 -> int4: the obscurantism occurs.; void -> assump1: Let's assume that the prehistoricness happens.; int4 & assump1 -> int5: both the obscurantism and the prehistoricness happens.; sent6 & int5 -> int6: the mamboing does not occur.; sent15 & int6 -> int7: the cleaning does not occur and the abdominoplasty does not occur.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the prehistoricness occurs the cleanness does not occur and the abdominoplasty does not occur. ; $context$ = sent1: the dilating mulloway occurs. sent2: the jihadiness is prevented by that both the impracticalness and the sultriness occurs. sent3: that the negative occurs is brought about by the wantoning. sent4: the tectonicsness occurs if the negativeness occurs. sent5: the civicsness occurs. sent6: that the mamboing occurs is prevented by that both the obscurantism and the prehistoricness happens. sent7: the Rooseveltianness happens. sent8: the startup does not occur if the comforting does not occur. sent9: that that the touching does not occur and the Liberian occurs is correct does not hold. sent10: the liner does not occur and the dilating Lepidodendraceae does not occur. sent11: if the mamboing does not occur not the clean but the abdominoplasty happens. sent12: if the fact that that the touching does not occur and the Liberian happens is right is not correct the wanton happens. sent13: the overpayment does not occur and the thrusting income does not occur if that the clip occurs is true. sent14: the uncleanness and the abdominoplasty happens. sent15: that the mambo does not occur triggers that the cleanness does not occur and the abdominoplasty does not occur. sent16: the Chianness occurs. sent17: the fact that the Sin does not occur is not false if the respecting does not occur. sent18: if the tectonicsness occurs that the obscurantism occurs is not false. sent19: the wanton happens if the Liberian does not occur. sent20: if that the immobilization happens is not false then the cataleptic does not occur. sent21: the cleaning does not occur. ; $proof$ = 
sent12 & sent9 -> int1: the wantoning happens.; sent3 & int1 -> int2: the negativeness occurs.; sent4 & int2 -> int3: the tectonicsness occurs.; sent18 & int3 -> int4: the obscurantism occurs.; void -> assump1: Let's assume that the prehistoricness happens.; int4 & assump1 -> int5: both the obscurantism and the prehistoricness happens.; sent6 & int5 -> int6: the mamboing does not occur.; sent15 & int6 -> int7: the cleaning does not occur and the abdominoplasty does not occur.; [assump1] & int7 -> hypothesis; __PROVED__