the balloonist does not collar orchil.
sent1: the buffer does collar orchil. sent2: something is servile. sent3: the buffer is a square-rigger if the guardsman is not undesirable and it is not a kind of a square-rigger. sent4: there is something such that it is a kind of a twenty-five or it is not weedy or both. sent5: the fact that the guardsman is a twenty-five and/or it is not weedy is not correct if that the buffer is a metamorphism is correct. sent6: if the buffer collars orchil then the balloonist is not a metamorphism. sent7: the buffer is a metamorphism. sent8: if the fact that the antapex does not collar gherkin is true the guardsman is a locomotive and it is a shirtsleeves. sent9: something is both not an undesirable and not a square-rigger if it is a kind of a locomotive. sent10: the fact that something is not a kind of a afterbirth and is a headfast is not right if it expires rotisserie. sent11: if something is not a kind of a metamorphism that it is a kind of a twenty-five or it does not broadside ascus or both does not hold. sent12: the guardsman is not a shirtsleeves if the fact that the balloonist is a kind of a afterbirth and it does collar gherkin is incorrect. sent13: if the fact that the gasbag is not a afterbirth but it is a headfast is not right then the antapex does not collar gherkin. sent14: the balloonist is a metamorphism if the buffer is a square-rigger. sent15: if the guardsman is not a shirtsleeves then the buffer is non-locomotive and desirable. sent16: the balloonist is not weedy if the guardsman does collar orchil. sent17: something does collar orchil if it is a metamorphism. sent18: there is something such that it is a kind of a metamorphism. sent19: if the buffer is not locomotive and it is not a kind of an undesirable the spectrophotometer is not a square-rigger. sent20: the gasbag expires rotisserie and it is a kind of a canto if it is not a kind of a solfege. sent21: if the guardsman is a kind of a metamorphism then the fact that the buffer is a kind of a twenty-five or it does not collar orchil or both is wrong.
sent5 & sent7 -> int1: that either the guardsman is a twenty-five or it is not weedy or both is not true.; int1 -> int2: there is something such that the fact that it is a twenty-five or it is not weedy or both is not true.;
the fact that the spectrophotometer is a kind of a twenty-five and/or it does not broadside ascus is not correct.
sent11 -> int3: if the spectrophotometer is not a metamorphism that it is a kind of a twenty-five and/or does not broadside ascus is false.;
$hypothesis$ = the balloonist does not collar orchil. ; $context$ = sent1: the buffer does collar orchil. sent2: something is servile. sent3: the buffer is a square-rigger if the guardsman is not undesirable and it is not a kind of a square-rigger. sent4: there is something such that it is a kind of a twenty-five or it is not weedy or both. sent5: the fact that the guardsman is a twenty-five and/or it is not weedy is not correct if that the buffer is a metamorphism is correct. sent6: if the buffer collars orchil then the balloonist is not a metamorphism. sent7: the buffer is a metamorphism. sent8: if the fact that the antapex does not collar gherkin is true the guardsman is a locomotive and it is a shirtsleeves. sent9: something is both not an undesirable and not a square-rigger if it is a kind of a locomotive. sent10: the fact that something is not a kind of a afterbirth and is a headfast is not right if it expires rotisserie. sent11: if something is not a kind of a metamorphism that it is a kind of a twenty-five or it does not broadside ascus or both does not hold. sent12: the guardsman is not a shirtsleeves if the fact that the balloonist is a kind of a afterbirth and it does collar gherkin is incorrect. sent13: if the fact that the gasbag is not a afterbirth but it is a headfast is not right then the antapex does not collar gherkin. sent14: the balloonist is a metamorphism if the buffer is a square-rigger. sent15: if the guardsman is not a shirtsleeves then the buffer is non-locomotive and desirable. sent16: the balloonist is not weedy if the guardsman does collar orchil. sent17: something does collar orchil if it is a metamorphism. sent18: there is something such that it is a kind of a metamorphism. sent19: if the buffer is not locomotive and it is not a kind of an undesirable the spectrophotometer is not a square-rigger. sent20: the gasbag expires rotisserie and it is a kind of a canto if it is not a kind of a solfege. sent21: if the guardsman is a kind of a metamorphism then the fact that the buffer is a kind of a twenty-five or it does not collar orchil or both is wrong. ; $proof$ = 
sent5 & sent7 -> int1: that either the guardsman is a twenty-five or it is not weedy or both is not true.; int1 -> int2: there is something such that the fact that it is a twenty-five or it is not weedy or both is not true.; __UNKNOWN__