there exists something such that it is not collapsible and is non-Lao.
sent1: if the antheridiophore is a juke then the franklin is not collapsible and it is not Lao. sent2: the antheridiophore is not an epidemic but it is a kind of a Lao. sent3: the antheridiophore is not an epidemic. sent4: the antheridiophore is a kind of non-epidemic thing that is a kind of a juke. sent5: something is both not a Kazak and not an epidemic if it is a kind of a juke.
sent4 -> int1: the antheridiophore is a juke.; sent1 & int1 -> int2: the franklin is not collapsible and it is not a kind of a Lao.; int2 -> hypothesis;
the freetail is not a Kazak and it is not an epidemic.
sent5 -> int3: the freetail is not a Kazak and it is not an epidemic if it is a juke.;
$hypothesis$ = there exists something such that it is not collapsible and is non-Lao. ; $context$ = sent1: if the antheridiophore is a juke then the franklin is not collapsible and it is not Lao. sent2: the antheridiophore is not an epidemic but it is a kind of a Lao. sent3: the antheridiophore is not an epidemic. sent4: the antheridiophore is a kind of non-epidemic thing that is a kind of a juke. sent5: something is both not a Kazak and not an epidemic if it is a kind of a juke. ; $proof$ = 
sent4 -> int1: the antheridiophore is a juke.; sent1 & int1 -> int2: the franklin is not collapsible and it is not a kind of a Lao.; int2 -> hypothesis; __PROVED__