the goosefish does not fart firebrat and is not a Episcopalianism.
sent1: if there is something such that that it does winnow is not wrong then that the goosefish does not fart firebrat and is not a kind of a Episcopalianism is incorrect. sent2: the straggler is a cylinder. sent3: something is a kind of a winnow if it is dictyopteran but not diaphyseal. sent4: if the straggler is a cylinder then it is dictyopteran and is non-diaphyseal.
sent3 -> int1: the straggler winnows if it is both dictyopteran and not diaphyseal.; sent4 & sent2 -> int2: the straggler is dictyopteran but not diaphyseal.; int1 & int2 -> int3: the straggler does winnow.; int3 -> int4: there exists something such that it does winnow.; int4 & sent1 -> hypothesis;
$hypothesis$ = the goosefish does not fart firebrat and is not a Episcopalianism. ; $context$ = sent1: if there is something such that that it does winnow is not wrong then that the goosefish does not fart firebrat and is not a kind of a Episcopalianism is incorrect. sent2: the straggler is a cylinder. sent3: something is a kind of a winnow if it is dictyopteran but not diaphyseal. sent4: if the straggler is a cylinder then it is dictyopteran and is non-diaphyseal. ; $proof$ = 
sent3 -> int1: the straggler winnows if it is both dictyopteran and not diaphyseal.; sent4 & sent2 -> int2: the straggler is dictyopteran but not diaphyseal.; int1 & int2 -> int3: the straggler does winnow.; int3 -> int4: there exists something such that it does winnow.; int4 & sent1 -> hypothesis; __DISPROVED__