that there exists something such that if it is non-jihadi the fact that either it is not faceless or it is catkinate or both hold does not hold.
sent1: if that the horsefly is not jihadi hold it is not faceless and/or is catkinate. sent2: there exists something such that if it is jihadi then it is not faceless or not non-catkinate or both. sent3: the horsefly is not a kind of a microphoning or it is ovoviviparous or both if it is jihadi. sent4: something is not tensile or does gratify or both if it is not a oca. sent5: the horsefly does not dominate Gasterophilidae or is trophoblastic or both if that it is catkinate is right. sent6: if the horsefly is not jihadi it does not glamorize Mimidae and/or it does copy plimsoll. sent7: if the applecart does not dominate fluvastatin it either is not a determinism or does copy tetragram or both. sent8: either the horsefly is not catkinate or it hates zodiac or both if it does dominate rail.
sent1 -> hypothesis;
there is something such that if it is not a kind of a oca then it is not tensile and/or gratifies.
sent4 -> int1: if the zodiac is not a kind of a oca then it either is not tensile or does gratify or both.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is non-jihadi the fact that either it is not faceless or it is catkinate or both hold does not hold. ; $context$ = sent1: if that the horsefly is not jihadi hold it is not faceless and/or is catkinate. sent2: there exists something such that if it is jihadi then it is not faceless or not non-catkinate or both. sent3: the horsefly is not a kind of a microphoning or it is ovoviviparous or both if it is jihadi. sent4: something is not tensile or does gratify or both if it is not a oca. sent5: the horsefly does not dominate Gasterophilidae or is trophoblastic or both if that it is catkinate is right. sent6: if the horsefly is not jihadi it does not glamorize Mimidae and/or it does copy plimsoll. sent7: if the applecart does not dominate fluvastatin it either is not a determinism or does copy tetragram or both. sent8: either the horsefly is not catkinate or it hates zodiac or both if it does dominate rail. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__