there is something such that if the fact that either it does beat hypobasidium or it is illicit or both is not correct then it is not a kind of a keloid.
sent1: if the fact that something beats hypobasidium and/or is illicit is incorrect it is a keloid. sent2: if that the leopard beats hypobasidium and/or it is illicit is not right it is a keloid. sent3: the fact that something is not a kind of a keloid hold if the fact that it does beat hypobasidium and/or it is illicit is not correct.
sent3 -> int1: if the fact that the leopard does beat hypobasidium and/or it is not non-illicit does not hold then it is not a keloid.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that either it does beat hypobasidium or it is illicit or both is not correct then it is not a kind of a keloid. ; $context$ = sent1: if the fact that something beats hypobasidium and/or is illicit is incorrect it is a keloid. sent2: if that the leopard beats hypobasidium and/or it is illicit is not right it is a keloid. sent3: the fact that something is not a kind of a keloid hold if the fact that it does beat hypobasidium and/or it is illicit is not correct. ; $proof$ = 
sent3 -> int1: if the fact that the leopard does beat hypobasidium and/or it is not non-illicit does not hold then it is not a keloid.; int1 -> hypothesis; __PROVED__