the parameter occurs and the legislativeness occurs.
sent1: that the ticking soma occurs and the parameter does not occur does not hold. sent2: if that that the ticking soma happens but the parameter does not occur does not hold is right then the carcinogenicness happens. sent3: the adoxography occurs and the legislativeness occurs. sent4: the parameter and the ticking soma occurs.
sent4 -> int1: the parameter happens.; sent3 -> int2: that the legislativeness occurs is correct.; int1 & int2 -> hypothesis;
the carcinogenicness happens and the buteonine occurs.
sent2 & sent1 -> int3: that the carcinogenicness happens is not wrong.;
$hypothesis$ = the parameter occurs and the legislativeness occurs. ; $context$ = sent1: that the ticking soma occurs and the parameter does not occur does not hold. sent2: if that that the ticking soma happens but the parameter does not occur does not hold is right then the carcinogenicness happens. sent3: the adoxography occurs and the legislativeness occurs. sent4: the parameter and the ticking soma occurs. ; $proof$ = 
sent4 -> int1: the parameter happens.; sent3 -> int2: that the legislativeness occurs is correct.; int1 & int2 -> hypothesis; __PROVED__