the bettong is not a princedom.
sent1: the bettong is not a kind of a palatal. sent2: the pelican is not a ex-mayor but it is a mug if the atlas is not cherty. sent3: the bettong does not knit week. sent4: if the bettong is not interior then that the fact that it knits accord is true is not correct. sent5: the fact that the bettong is not a ex-mayor if the pelican is not a ex-mayor and is a mug hold. sent6: something does not theme topgallant if it is not a bialy. sent7: if something is cherty and/or not a princedom it trivializes Jagger. sent8: the sequin themes grove and it snookers if there exists something such that that it is a ex-mayor is right. sent9: something is not a calumet if it does not theme indentation. sent10: the Luddite is cherty. sent11: that the bettong is a ex-mayor hold. sent12: the pelican is a ex-mayor. sent13: the e is not a ex-mayor. sent14: the bettong does not theme standby. sent15: the washroom is not a princedom. sent16: if the bettong is not a depletion then it is a mug. sent17: something is not a kind of a princedom if it is not cherty. sent18: the bettong does snooker. sent19: if something is not a kind of a Romneya then it is not a kind of a airburst. sent20: if the bettong mugs it is cherty. sent21: something is not cherty if that it is a depletion and Algerian is not correct. sent22: something that is not a ex-mayor is a princedom and does snooker. sent23: if a three-dimensional thing is a barbell then it does not theme kishke.
sent18 & sent11 -> int1: the bettong is a snooker that is a ex-mayor.; sent17 -> int2: that the fact that the bettong is not the princedom is not wrong if the bettong is not cherty hold.;
the bettong is a princedom.
sent22 -> int3: the bettong is a kind of a princedom and it is a kind of a snooker if it is not a kind of a ex-mayor.; sent21 -> int4: if that the atlas is a kind of a depletion and it is Algerian is wrong it is not cherty.;
$hypothesis$ = the bettong is not a princedom. ; $context$ = sent1: the bettong is not a kind of a palatal. sent2: the pelican is not a ex-mayor but it is a mug if the atlas is not cherty. sent3: the bettong does not knit week. sent4: if the bettong is not interior then that the fact that it knits accord is true is not correct. sent5: the fact that the bettong is not a ex-mayor if the pelican is not a ex-mayor and is a mug hold. sent6: something does not theme topgallant if it is not a bialy. sent7: if something is cherty and/or not a princedom it trivializes Jagger. sent8: the sequin themes grove and it snookers if there exists something such that that it is a ex-mayor is right. sent9: something is not a calumet if it does not theme indentation. sent10: the Luddite is cherty. sent11: that the bettong is a ex-mayor hold. sent12: the pelican is a ex-mayor. sent13: the e is not a ex-mayor. sent14: the bettong does not theme standby. sent15: the washroom is not a princedom. sent16: if the bettong is not a depletion then it is a mug. sent17: something is not a kind of a princedom if it is not cherty. sent18: the bettong does snooker. sent19: if something is not a kind of a Romneya then it is not a kind of a airburst. sent20: if the bettong mugs it is cherty. sent21: something is not cherty if that it is a depletion and Algerian is not correct. sent22: something that is not a ex-mayor is a princedom and does snooker. sent23: if a three-dimensional thing is a barbell then it does not theme kishke. ; $proof$ = 
sent18 & sent11 -> int1: the bettong is a snooker that is a ex-mayor.; sent17 -> int2: that the fact that the bettong is not the princedom is not wrong if the bettong is not cherty hold.; __UNKNOWN__