the counterbore is higher.
sent1: the counterbore is not higher if the Tutu is higher and is not a lancewood. sent2: the fact that the handbell is not a kind of a lancewood hold if there exists something such that the fact that it is non-superscript thing that is a lancewood is not correct. sent3: if something does not recline Blucher then it is a kind of a superscript. sent4: the counterbore is a sunroof but it is not alkahestic. sent5: the maidenhair does not recline Blucher and it is not deist if it is alkahestic. sent6: that that the Tutu is not a Adonic but it fishes quaestor hold is incorrect if it is a Vandyke. sent7: that the Tutu is not a kind of a superscript but it is a kind of a lancewood is not right if the fact that the counterbore is a dada is right. sent8: the fact that the Tutu is a kind of a Adonic and does fish quaestor is incorrect if it is a kind of a Vandyke. sent9: the maidenhair is alkahestic. sent10: something that is not a lancewood is both a Vandyke and higher. sent11: there is something such that the fact that it is a Adonic and fishes quaestor is not true. sent12: something that is a superscript is not a dada. sent13: the counterbore is not a kind of a deist if it is a kind of a sunroof and is not alkahestic. sent14: something is a Vandyke if it is not a dada. sent15: the fact that the counterbore does not fish quaestor is not right. sent16: the fact that the Tutu is a Vandyke is not wrong.
sent6 & sent16 -> int1: that the Tutu is not a Adonic but it fishes quaestor does not hold.; int1 -> int2: there exists something such that the fact that it is not a kind of a Adonic and it does fish quaestor is not correct.;
the fact that the handbell is a kind of a Vandyke is correct.
sent10 -> int3: if the handbell is not a lancewood then it is a kind of a Vandyke and it is higher.; sent13 & sent4 -> int4: the fact that the counterbore is not a deist is true.;
$hypothesis$ = the counterbore is higher. ; $context$ = sent1: the counterbore is not higher if the Tutu is higher and is not a lancewood. sent2: the fact that the handbell is not a kind of a lancewood hold if there exists something such that the fact that it is non-superscript thing that is a lancewood is not correct. sent3: if something does not recline Blucher then it is a kind of a superscript. sent4: the counterbore is a sunroof but it is not alkahestic. sent5: the maidenhair does not recline Blucher and it is not deist if it is alkahestic. sent6: that that the Tutu is not a Adonic but it fishes quaestor hold is incorrect if it is a Vandyke. sent7: that the Tutu is not a kind of a superscript but it is a kind of a lancewood is not right if the fact that the counterbore is a dada is right. sent8: the fact that the Tutu is a kind of a Adonic and does fish quaestor is incorrect if it is a kind of a Vandyke. sent9: the maidenhair is alkahestic. sent10: something that is not a lancewood is both a Vandyke and higher. sent11: there is something such that the fact that it is a Adonic and fishes quaestor is not true. sent12: something that is a superscript is not a dada. sent13: the counterbore is not a kind of a deist if it is a kind of a sunroof and is not alkahestic. sent14: something is a Vandyke if it is not a dada. sent15: the fact that the counterbore does not fish quaestor is not right. sent16: the fact that the Tutu is a Vandyke is not wrong. ; $proof$ = 
sent6 & sent16 -> int1: that the Tutu is not a Adonic but it fishes quaestor does not hold.; int1 -> int2: there exists something such that the fact that it is not a kind of a Adonic and it does fish quaestor is not correct.; __UNKNOWN__