that the ophthalmectomy does not occur is not false.
sent1: if the domestication happens then the pairing happens. sent2: if the pairing occurs the ophthalmectomy happens. sent3: the domestication occurs and the stratifying quillwort occurs. sent4: the quickstepping happens if the fact that the domestication does not occur is not false.
sent3 -> int1: the domestication occurs.; int1 & sent1 -> int2: the pairing occurs.; int2 & sent2 -> hypothesis;
the hyping chyme happens and the quickstepping happens.
$hypothesis$ = that the ophthalmectomy does not occur is not false. ; $context$ = sent1: if the domestication happens then the pairing happens. sent2: if the pairing occurs the ophthalmectomy happens. sent3: the domestication occurs and the stratifying quillwort occurs. sent4: the quickstepping happens if the fact that the domestication does not occur is not false. ; $proof$ = 
sent3 -> int1: the domestication occurs.; int1 & sent1 -> int2: the pairing occurs.; int2 & sent2 -> hypothesis; __DISPROVED__