something is a Scholastic and it rakes one-sixty-fourth.
sent1: something is a stultification and is odd. sent2: there is something such that it is a Scholastic. sent3: the schizopetalon is odd. sent4: the solicitor is a kind of a praise. sent5: if something that does rake one-sixty-fourth is not odd the solicitor is a stultification. sent6: the fact that the fact that the solicitor does not rake one-sixty-fourth is not true is not incorrect if that the sleepyhead blocks ampicillin hold. sent7: the solicitor is not a fester. sent8: something is not odd. sent9: there is something such that it is a Arabian. sent10: if the schizopetalon is Arabian it is invisible. sent11: the schizopetalon does rake sentimentality. sent12: if the schizopetalon is not visible the sleepyhead blocks ampicillin. sent13: the solicitor is a Scholastic if a stultification is not odd. sent14: the schizopetalon does not block system. sent15: there is something such that it is gothic and is a shuttlecock. sent16: the lox is a stultification but it is not a kind of a Scholastic. sent17: the schizopetalon is a kind of a Arabian if it is not a praise and rakes sentimentality. sent18: there exists something such that it is a stultification. sent19: the lox is a stultification but it is not odd. sent20: the lox is a Arabian. sent21: if the schizopetalon is a kind of a stultification then it rakes sentimentality. sent22: the schizopetalon is not a kind of a praise but it does rake sentimentality.
sent17 & sent22 -> int1: the schizopetalon is a kind of a Arabian.; int1 & sent10 -> int2: the schizopetalon is invisible.; int2 & sent12 -> int3: the sleepyhead blocks ampicillin.; int3 & sent6 -> int4: the solicitor rakes one-sixty-fourth.; sent19 -> int5: there is something such that the fact that it is a kind of a stultification and is not odd hold.; int5 & sent13 -> int6: that the solicitor is a Scholastic is not incorrect.; int4 & int6 -> int7: the solicitor is a kind of a Scholastic and it rakes one-sixty-fourth.; int7 -> hypothesis;
$hypothesis$ = something is a Scholastic and it rakes one-sixty-fourth. ; $context$ = sent1: something is a stultification and is odd. sent2: there is something such that it is a Scholastic. sent3: the schizopetalon is odd. sent4: the solicitor is a kind of a praise. sent5: if something that does rake one-sixty-fourth is not odd the solicitor is a stultification. sent6: the fact that the fact that the solicitor does not rake one-sixty-fourth is not true is not incorrect if that the sleepyhead blocks ampicillin hold. sent7: the solicitor is not a fester. sent8: something is not odd. sent9: there is something such that it is a Arabian. sent10: if the schizopetalon is Arabian it is invisible. sent11: the schizopetalon does rake sentimentality. sent12: if the schizopetalon is not visible the sleepyhead blocks ampicillin. sent13: the solicitor is a Scholastic if a stultification is not odd. sent14: the schizopetalon does not block system. sent15: there is something such that it is gothic and is a shuttlecock. sent16: the lox is a stultification but it is not a kind of a Scholastic. sent17: the schizopetalon is a kind of a Arabian if it is not a praise and rakes sentimentality. sent18: there exists something such that it is a stultification. sent19: the lox is a stultification but it is not odd. sent20: the lox is a Arabian. sent21: if the schizopetalon is a kind of a stultification then it rakes sentimentality. sent22: the schizopetalon is not a kind of a praise but it does rake sentimentality. ; $proof$ = 
sent17 & sent22 -> int1: the schizopetalon is a kind of a Arabian.; int1 & sent10 -> int2: the schizopetalon is invisible.; int2 & sent12 -> int3: the sleepyhead blocks ampicillin.; int3 & sent6 -> int4: the solicitor rakes one-sixty-fourth.; sent19 -> int5: there is something such that the fact that it is a kind of a stultification and is not odd hold.; int5 & sent13 -> int6: that the solicitor is a Scholastic is not incorrect.; int4 & int6 -> int7: the solicitor is a kind of a Scholastic and it rakes one-sixty-fourth.; int7 -> hypothesis; __PROVED__