the gibbering occurs.
sent1: the fact that the downtownness does not occur but the sour happens is wrong. sent2: if the trotting does not occur and/or the extrinsicness happens then the extrinsicness occurs. sent3: if the downtownness does not occur the fact that not the interest but the microelectronicness occurs is not right. sent4: the .45-caliberness occurs. sent5: the stenographicness occurs and the therapy occurs. sent6: if that not the downtownness but the souring happens does not hold the downtownness occurs. sent7: if that the routemarch does not occur but the mithraicness occurs is false the routemarch happens. sent8: if the discountenancing phellem occurs then the fact that the gibbering occurs is not incorrect. sent9: the interesting is prevented by that the trot happens and the downtownness happens. sent10: the trotting does not occur and/or the extrinsicness happens. sent11: both the fragmenting Zeno and the paling happens. sent12: the microelectronicness occurs. sent13: the fact that the downtownness happens and the sour happens is wrong. sent14: the non-microelectronicness results in that the gibbering does not occur and the trotting does not occur. sent15: if the interest does not occur then the discountenancing phellem occurs.
sent6 & sent1 -> int1: the downtown occurs.;
that both the extrinsicness and the compartmentalizing anachronism occurs is not incorrect.
sent2 & sent10 -> int2: the extrinsicness occurs.;
$hypothesis$ = the gibbering occurs. ; $context$ = sent1: the fact that the downtownness does not occur but the sour happens is wrong. sent2: if the trotting does not occur and/or the extrinsicness happens then the extrinsicness occurs. sent3: if the downtownness does not occur the fact that not the interest but the microelectronicness occurs is not right. sent4: the .45-caliberness occurs. sent5: the stenographicness occurs and the therapy occurs. sent6: if that not the downtownness but the souring happens does not hold the downtownness occurs. sent7: if that the routemarch does not occur but the mithraicness occurs is false the routemarch happens. sent8: if the discountenancing phellem occurs then the fact that the gibbering occurs is not incorrect. sent9: the interesting is prevented by that the trot happens and the downtownness happens. sent10: the trotting does not occur and/or the extrinsicness happens. sent11: both the fragmenting Zeno and the paling happens. sent12: the microelectronicness occurs. sent13: the fact that the downtownness happens and the sour happens is wrong. sent14: the non-microelectronicness results in that the gibbering does not occur and the trotting does not occur. sent15: if the interest does not occur then the discountenancing phellem occurs. ; $proof$ = 
sent6 & sent1 -> int1: the downtown occurs.; __UNKNOWN__