the yeoman is microbial and it is a ballgame.
sent1: if there is something such that it does not crow stigma that the stigma does crow stigma and is a kind of a vampire is wrong. sent2: the fact that the stigma is not microbial if the stigma is not a vampire hold. sent3: the fact that the yeoman is microbial and it is a kind of a ballgame is correct if the stigma is not microbial. sent4: there is something such that it crows stigma. sent5: something is not microbial if it is not a kind of a vampire. sent6: there exists something such that it does not damp Ni-resist. sent7: there exists something such that it does not crow stigma. sent8: the fact that the stigma is a ballgame is not false. sent9: if that something crows stigma and is a kind of a vampire is not true then that it is not microbial is true. sent10: if the yeoman is not a vampire then it is not microbial. sent11: something is not a kind of a vampire if it is not a kind of a ballgame. sent12: that the yeoman is a ballgame is not false. sent13: that the Y is a fauna and rolls art is not correct if the gaskin does not bare. sent14: the yeoman crows stigma if the stigma is not microbial. sent15: if the stigma is not microbial then the yeoman is a ballgame.
sent9 -> int1: that the stigma is not microbial hold if the fact that it crows stigma and it is a vampire is not true.; sent7 & sent1 -> int2: the fact that the stigma does crow stigma and is a vampire does not hold.; int1 & int2 -> int3: the stigma is not microbial.; int3 & sent3 -> hypothesis;
that the yeoman is microbial and is a ballgame is wrong.
$hypothesis$ = the yeoman is microbial and it is a ballgame. ; $context$ = sent1: if there is something such that it does not crow stigma that the stigma does crow stigma and is a kind of a vampire is wrong. sent2: the fact that the stigma is not microbial if the stigma is not a vampire hold. sent3: the fact that the yeoman is microbial and it is a kind of a ballgame is correct if the stigma is not microbial. sent4: there is something such that it crows stigma. sent5: something is not microbial if it is not a kind of a vampire. sent6: there exists something such that it does not damp Ni-resist. sent7: there exists something such that it does not crow stigma. sent8: the fact that the stigma is a ballgame is not false. sent9: if that something crows stigma and is a kind of a vampire is not true then that it is not microbial is true. sent10: if the yeoman is not a vampire then it is not microbial. sent11: something is not a kind of a vampire if it is not a kind of a ballgame. sent12: that the yeoman is a ballgame is not false. sent13: that the Y is a fauna and rolls art is not correct if the gaskin does not bare. sent14: the yeoman crows stigma if the stigma is not microbial. sent15: if the stigma is not microbial then the yeoman is a ballgame. ; $proof$ = 
sent9 -> int1: that the stigma is not microbial hold if the fact that it crows stigma and it is a vampire is not true.; sent7 & sent1 -> int2: the fact that the stigma does crow stigma and is a vampire does not hold.; int1 & int2 -> int3: the stigma is not microbial.; int3 & sent3 -> hypothesis; __PROVED__