if the tertianness occurs the pipeline occurs.
sent1: the pipeline occurs if the pushing Mahdi happens. sent2: if the tertianness does not occur then the non-aoristicness and the non-ambassadorialness happens. sent3: if both the non-aoristicness and the tertianness occurs then the pushing Mahdi occurs. sent4: if the multiple-choiceness occurs then the pipeline does not occur and the straightening dirndl does not occur. sent5: that the non-aoristicness and the non-ambassadorialness occurs prevents the genialness. sent6: if the genialness does not occur then the quadrupedalness but not the specialisticness occurs. sent7: the fact that the specialisticness happens and the genialness happens is not wrong. sent8: both the ambassadorialness and the straightening dirndl happens.
sent7 -> int1: the genialness occurs.; sent8 -> int2: the ambassadorialness happens.; int1 & int2 -> int3: the genialness happens and the ambassadorialness occurs.;
that the quadrupedalness happens is not wrong.
$hypothesis$ = if the tertianness occurs the pipeline occurs. ; $context$ = sent1: the pipeline occurs if the pushing Mahdi happens. sent2: if the tertianness does not occur then the non-aoristicness and the non-ambassadorialness happens. sent3: if both the non-aoristicness and the tertianness occurs then the pushing Mahdi occurs. sent4: if the multiple-choiceness occurs then the pipeline does not occur and the straightening dirndl does not occur. sent5: that the non-aoristicness and the non-ambassadorialness occurs prevents the genialness. sent6: if the genialness does not occur then the quadrupedalness but not the specialisticness occurs. sent7: the fact that the specialisticness happens and the genialness happens is not wrong. sent8: both the ambassadorialness and the straightening dirndl happens. ; $proof$ = 
sent7 -> int1: the genialness occurs.; sent8 -> int2: the ambassadorialness happens.; int1 & int2 -> int3: the genialness happens and the ambassadorialness occurs.; __UNKNOWN__