the Bellarmine is both not non-fermentable and not efficient.
sent1: the cattleya is Mozambican and is not a antitauon. sent2: if the lerot is not a arthrospore and it does not brief agio then the cattleya is a kind of a pistil. sent3: the chiffonier does not warn if the mortgagee does warn and it is nonjudgmental. sent4: if the Bellarmine is a pistil then the theremin is a arthrospore. sent5: if the steeplechaser impinges wrangler and/or does not brief prickliness then it is not a kind of a Pilsen. sent6: if the fact that something is a Mozambican is not incorrect the fact that it is fermentable thing that is not inefficient does not hold. sent7: that something does not brief agio if the fact that it does not warn and is not a arthrospore is not correct is correct. sent8: the fact that the shofar is not a kind of a schoolwork and does not brief geoduck is not right if it is not a Corot. sent9: there exists something such that it is not a Trilisa and it is not a plasm. sent10: if something is not a kind of a plasm the mortgagee is not a kind of a antitauon but it is a Trilisa. sent11: if there exists something such that that it is not a schoolwork and does not brief geoduck is incorrect then the Essene is not a kind of a plasm. sent12: the cattleya does warn if the theremin is a kind of a arthrospore. sent13: if a Mozambican thing is not a kind of a antitauon then it does not warn. sent14: the shofar is not a Corot. sent15: the fact that the Riverside does not warn and is not a arthrospore is not right if the Bellarmine is nonjudgmental. sent16: the fact that the steeplechaser does not brief prickliness is correct. sent17: that the mortgagee is nonjudgmental if the steeplechaser is nonjudgmental hold. sent18: if something does not brief agio then that it is a pistil and not hot is not right. sent19: the lerot is not a kind of a arthrospore and does not brief agio if the chiffonier does not warn. sent20: if there is something such that it is both not a Trilisa and not a plasm then the Bellarmine is inefficient. sent21: the Bellarmine is nonjudgmental if the fact that the theremin is both fermentable and not inefficient is incorrect. sent22: the theremin is not inefficient if the cattleya is a kind of a pistil. sent23: if something is not nonjudgmental then it is fermentable. sent24: if something is not a Pilsen it is a biteplate and nonjudgmental.
void -> assump1: Let's assume that the fact that the Bellarmine is a pistil and does not brief agio is right.; assump1 -> int1: the Bellarmine is a pistil.; int1 & sent4 -> int2: the theremin is a arthrospore.; int2 & sent12 -> int3: the cattleya warns.; sent13 -> int4: if the cattleya is Mozambican but it is not a antitauon then it does not warn.; int4 & sent1 -> int5: the cattleya does not warn.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the Bellarmine is a pistil but it does not brief agio is not right.; sent23 -> int8: the Bellarmine is fermentable if it is not nonjudgmental.; sent9 & sent20 -> int9: the Bellarmine is inefficient.;
the fact that the fact that the Riverside is a pistil but it is non-hot is wrong is not wrong.
sent18 -> int10: that the fact that the Riverside is a kind of a pistil but it is not hot is not right is not incorrect if it does not brief agio.; sent7 -> int11: if that the Riverside does not warn and it is not a arthrospore does not hold it does not brief agio.; sent6 -> int12: that the theremin is fermentable and not inefficient is false if it is not non-Mozambican.;
$hypothesis$ = the Bellarmine is both not non-fermentable and not efficient. ; $context$ = sent1: the cattleya is Mozambican and is not a antitauon. sent2: if the lerot is not a arthrospore and it does not brief agio then the cattleya is a kind of a pistil. sent3: the chiffonier does not warn if the mortgagee does warn and it is nonjudgmental. sent4: if the Bellarmine is a pistil then the theremin is a arthrospore. sent5: if the steeplechaser impinges wrangler and/or does not brief prickliness then it is not a kind of a Pilsen. sent6: if the fact that something is a Mozambican is not incorrect the fact that it is fermentable thing that is not inefficient does not hold. sent7: that something does not brief agio if the fact that it does not warn and is not a arthrospore is not correct is correct. sent8: the fact that the shofar is not a kind of a schoolwork and does not brief geoduck is not right if it is not a Corot. sent9: there exists something such that it is not a Trilisa and it is not a plasm. sent10: if something is not a kind of a plasm the mortgagee is not a kind of a antitauon but it is a Trilisa. sent11: if there exists something such that that it is not a schoolwork and does not brief geoduck is incorrect then the Essene is not a kind of a plasm. sent12: the cattleya does warn if the theremin is a kind of a arthrospore. sent13: if a Mozambican thing is not a kind of a antitauon then it does not warn. sent14: the shofar is not a Corot. sent15: the fact that the Riverside does not warn and is not a arthrospore is not right if the Bellarmine is nonjudgmental. sent16: the fact that the steeplechaser does not brief prickliness is correct. sent17: that the mortgagee is nonjudgmental if the steeplechaser is nonjudgmental hold. sent18: if something does not brief agio then that it is a pistil and not hot is not right. sent19: the lerot is not a kind of a arthrospore and does not brief agio if the chiffonier does not warn. sent20: if there is something such that it is both not a Trilisa and not a plasm then the Bellarmine is inefficient. sent21: the Bellarmine is nonjudgmental if the fact that the theremin is both fermentable and not inefficient is incorrect. sent22: the theremin is not inefficient if the cattleya is a kind of a pistil. sent23: if something is not nonjudgmental then it is fermentable. sent24: if something is not a Pilsen it is a biteplate and nonjudgmental. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Bellarmine is a pistil and does not brief agio is right.; assump1 -> int1: the Bellarmine is a pistil.; int1 & sent4 -> int2: the theremin is a arthrospore.; int2 & sent12 -> int3: the cattleya warns.; sent13 -> int4: if the cattleya is Mozambican but it is not a antitauon then it does not warn.; int4 & sent1 -> int5: the cattleya does not warn.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the Bellarmine is a pistil but it does not brief agio is not right.; sent23 -> int8: the Bellarmine is fermentable if it is not nonjudgmental.; sent9 & sent20 -> int9: the Bellarmine is inefficient.; __UNKNOWN__