the telemetry does not occur.
sent1: both the catching and the tertianness happens. sent2: the ligature occurs. sent3: that both the telemetry and the catching happens is caused by the non-tertianness. sent4: the tertianness does not occur if the fact that the tertianness and the overbearing pome happens is wrong.
sent1 -> int1: the tertianness occurs.; int1 -> int2: the tertianness and/or the overbearing pome occurs.;
the telemetry occurs.
$hypothesis$ = the telemetry does not occur. ; $context$ = sent1: both the catching and the tertianness happens. sent2: the ligature occurs. sent3: that both the telemetry and the catching happens is caused by the non-tertianness. sent4: the tertianness does not occur if the fact that the tertianness and the overbearing pome happens is wrong. ; $proof$ = 
sent1 -> int1: the tertianness occurs.; int1 -> int2: the tertianness and/or the overbearing pome occurs.; __UNKNOWN__