there exists something such that if it is a kind of a plainsman the fact that it is not a kind of a sapphirine and it is calceolate is not correct.
sent1: the fact that the slumgullion is not a plainsman but it is a kind of a cravat is not correct if it is a kind of a bondman. sent2: there exists something such that if it is a plainsman it is not a kind of a sapphirine and is calceolate. sent3: there exists something such that if it does exceed Ararat then the fact that it is not an explanation but a lygaeid is wrong. sent4: if the entomion is a plainsman that it is a sapphirine and it is calceolate is wrong. sent5: the fact that the entomion is not a kind of a sapphirine but it is calceolate is incorrect if that it is a plainsman is not false. sent6: there is something such that if it is adrenocortical then that it is not a Tenthredinidae and it is a prolapse is not true. sent7: there exists something such that if it preempts mullioned then the fact that it is not archangelic and does preempt endlessness is not right. sent8: there is something such that if it is a plainsman that it is both a sapphirine and calceolate is not correct. sent9: the fact that something does not preempt hectoliter and is cross-modal does not hold if it does exceed Hypoderma. sent10: the entomion is non-sapphirine thing that is calceolate if it is a plainsman. sent11: if the entomion is a kind of a plainsman then that the fact that it does not drape vaudevillian and is a Wood is not false is wrong.
sent5 -> hypothesis;
there exists something such that if it exceeds Hypoderma then the fact that it does not preempt hectoliter and it is cross-modal is not correct.
sent9 -> int1: if the penknife does exceed Hypoderma that it does not preempt hectoliter and is cross-modal does not hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a kind of a plainsman the fact that it is not a kind of a sapphirine and it is calceolate is not correct. ; $context$ = sent1: the fact that the slumgullion is not a plainsman but it is a kind of a cravat is not correct if it is a kind of a bondman. sent2: there exists something such that if it is a plainsman it is not a kind of a sapphirine and is calceolate. sent3: there exists something such that if it does exceed Ararat then the fact that it is not an explanation but a lygaeid is wrong. sent4: if the entomion is a plainsman that it is a sapphirine and it is calceolate is wrong. sent5: the fact that the entomion is not a kind of a sapphirine but it is calceolate is incorrect if that it is a plainsman is not false. sent6: there is something such that if it is adrenocortical then that it is not a Tenthredinidae and it is a prolapse is not true. sent7: there exists something such that if it preempts mullioned then the fact that it is not archangelic and does preempt endlessness is not right. sent8: there is something such that if it is a plainsman that it is both a sapphirine and calceolate is not correct. sent9: the fact that something does not preempt hectoliter and is cross-modal does not hold if it does exceed Hypoderma. sent10: the entomion is non-sapphirine thing that is calceolate if it is a plainsman. sent11: if the entomion is a kind of a plainsman then that the fact that it does not drape vaudevillian and is a Wood is not false is wrong. ; $proof$ = 
sent5 -> hypothesis; __PROVED__