the lyreflower is not a kind of a suffragism and/or it is a kind of a Purace.
sent1: if the fact that the epicondyle does wrestle epicondyle but it is not a sial does not hold the lyreflower is not a suffragism. sent2: the fact that the epicondyle does wrestle epicondyle and is not a sial does not hold. sent3: either the lyreflower is not a Purace or it does wrestle epicondyle or both. sent4: if the fact that the epicondyle is not choreographic is not incorrect the fact that the lyreflower is not a suffragism and/or it is a kind of a Purace is false.
sent1 & sent2 -> int1: the lyreflower is not a suffragism.; int1 -> hypothesis;
that the lyreflower is not a suffragism and/or it is a Purace does not hold.
$hypothesis$ = the lyreflower is not a kind of a suffragism and/or it is a kind of a Purace. ; $context$ = sent1: if the fact that the epicondyle does wrestle epicondyle but it is not a sial does not hold the lyreflower is not a suffragism. sent2: the fact that the epicondyle does wrestle epicondyle and is not a sial does not hold. sent3: either the lyreflower is not a Purace or it does wrestle epicondyle or both. sent4: if the fact that the epicondyle is not choreographic is not incorrect the fact that the lyreflower is not a suffragism and/or it is a kind of a Purace is false. ; $proof$ = 
sent1 & sent2 -> int1: the lyreflower is not a suffragism.; int1 -> hypothesis; __PROVED__