there is something such that if that it slugs slice and is not actinomorphic does not hold the fact that it does not slug catcher is not false.
sent1: if that something is a kind of a catechist that does not huff is wrong then the fact that it does not slug Lasiocampidae is not wrong. sent2: if that something slugs slice and is actinomorphic is not correct it does not slug catcher. sent3: the catcher does not slug catcher if that that it does slug slice and is not non-actinomorphic is true does not hold. sent4: something does not slug catcher if that it does slug slice and is not actinomorphic is incorrect.
sent4 -> int1: the catcher does not slug catcher if that it does slug slice and is not actinomorphic does not hold.; int1 -> hypothesis;
there is something such that if that it is a kind of a catechist and it does not huff does not hold then it does not slug Lasiocampidae.
sent1 -> int2: the steamer does not slug Lasiocampidae if that it is a catechist and is not a kind of a huff is false.; int2 -> hypothesis;
$hypothesis$ = there is something such that if that it slugs slice and is not actinomorphic does not hold the fact that it does not slug catcher is not false. ; $context$ = sent1: if that something is a kind of a catechist that does not huff is wrong then the fact that it does not slug Lasiocampidae is not wrong. sent2: if that something slugs slice and is actinomorphic is not correct it does not slug catcher. sent3: the catcher does not slug catcher if that that it does slug slice and is not non-actinomorphic is true does not hold. sent4: something does not slug catcher if that it does slug slice and is not actinomorphic is incorrect. ; $proof$ = 
sent4 -> int1: the catcher does not slug catcher if that it does slug slice and is not actinomorphic does not hold.; int1 -> hypothesis; __PROVED__