that the Bellarmine is both a Gulo and not a out-and-outer does not hold.
sent1: if the Bellarmine does champion Cephalobidae then that it is precise and it is not indusial is false. sent2: if the Bellarmine is impermeable it is manly. sent3: the Bellarmine is impermeable thing that does reciprocate stagecraft. sent4: the Bellarmine is a strut but it does not snuffle cough if the fact that it is manly is right. sent5: the Bellarmine is an orchid if there exists something such that that it is manly or does not reciprocate stagecraft or both is not correct. sent6: if the Bellarmine is an orchid the bantam is an orchid. sent7: something does snuffle dialectician if it is impermeable. sent8: the bantam is impermeable and snuffles cough. sent9: the Bellarmine is a Sculptor if that it is a kind of a strut is not wrong. sent10: that the Bellarmine is a haying that does not corrode is not right. sent11: the Bellarmine does not snuffle cough. sent12: the fact that the Bellarmine does reciprocate stagecraft is not wrong. sent13: if the fact that the Bellarmine is a kind of a Sculptor hold that it is a Gulo that is not a out-and-outer is false.
sent3 -> int1: the Bellarmine is impermeable.; int1 & sent2 -> int2: the Bellarmine is manly.; int2 & sent4 -> int3: the Bellarmine is a strut and does not snuffle cough.; int3 -> int4: the Bellarmine is a strut.; int4 & sent9 -> int5: the Bellarmine is a Sculptor.; int5 & sent13 -> hypothesis;
the bantam is an orchid and it snuffles dialectician.
sent8 -> int6: that the bantam is impermeable hold.; sent7 -> int7: the bantam does snuffle dialectician if it is impermeable.; int6 & int7 -> int8: the bantam snuffles dialectician.;
$hypothesis$ = that the Bellarmine is both a Gulo and not a out-and-outer does not hold. ; $context$ = sent1: if the Bellarmine does champion Cephalobidae then that it is precise and it is not indusial is false. sent2: if the Bellarmine is impermeable it is manly. sent3: the Bellarmine is impermeable thing that does reciprocate stagecraft. sent4: the Bellarmine is a strut but it does not snuffle cough if the fact that it is manly is right. sent5: the Bellarmine is an orchid if there exists something such that that it is manly or does not reciprocate stagecraft or both is not correct. sent6: if the Bellarmine is an orchid the bantam is an orchid. sent7: something does snuffle dialectician if it is impermeable. sent8: the bantam is impermeable and snuffles cough. sent9: the Bellarmine is a Sculptor if that it is a kind of a strut is not wrong. sent10: that the Bellarmine is a haying that does not corrode is not right. sent11: the Bellarmine does not snuffle cough. sent12: the fact that the Bellarmine does reciprocate stagecraft is not wrong. sent13: if the fact that the Bellarmine is a kind of a Sculptor hold that it is a Gulo that is not a out-and-outer is false. ; $proof$ = 
sent3 -> int1: the Bellarmine is impermeable.; int1 & sent2 -> int2: the Bellarmine is manly.; int2 & sent4 -> int3: the Bellarmine is a strut and does not snuffle cough.; int3 -> int4: the Bellarmine is a strut.; int4 & sent9 -> int5: the Bellarmine is a Sculptor.; int5 & sent13 -> hypothesis; __PROVED__