the garnishee does not cap.
sent1: the buttonhook is a Champagne if it does not treat magazine. sent2: The genus does not covet caladium. sent3: the poinsettia is not a cap. sent4: if something is both not a Hilo and a brougham it does squawk garnishee. sent5: the caladium is a Hilo if it is not a kind of a hippie. sent6: the buttonhook does not ape poinsettia and it is not a kind of a Iowan if it is a kind of a Champagne. sent7: if the fact that the poinsettia is not a Sabal is right the caladium is not a kind of a Hilo but it is a brougham. sent8: there is something such that it is a Hilo. sent9: if the fact that something is a martinet that apes poinsettia is wrong then that it is not a kind of a Sabal is correct. sent10: the buttonhook is a Champagne if it does not treat pate. sent11: there exists something such that it is a kind of a Hilo that squawks garnishee. sent12: the caladium is a Hilo and does not squawk garnishee if it is not a kind of a hippie. sent13: the caladium does covet genus if it is a hippie. sent14: the caladium is a kind of a Hilo. sent15: if the fact that something is not a hippie and does not covet genus does not hold it is a cap. sent16: the garnishee is not a Hilo. sent17: something does not squawk garnishee. sent18: the poinsettia is not a brougham if something is a Hilo and does not squawk garnishee. sent19: the buttonhook does not treat magazine or it does not treat pate or both. sent20: the caladium does not covet genus. sent21: if the caladium is not a kind of a brougham then the poinsettia does not squawk garnishee.
void -> assump1: Let's assume that the caladium is a hippie.; sent13 & assump1 -> int1: the caladium does covet genus.; int1 & sent20 -> int2: this is contradiction.; [assump1] & int2 -> int3: the caladium is not a hippie.; int3 & sent12 -> int4: the caladium is a kind of a Hilo but it does not squawk garnishee.; int4 -> int5: something is a Hilo and does not squawk garnishee.; int5 & sent18 -> int6: the poinsettia is not a brougham.;
the garnishee does cap.
sent15 -> int7: if the fact that the garnishee is not a hippie and it does not covet genus does not hold that it is a cap is not false.; sent4 -> int8: if the caladium is not a Hilo but a brougham then it does squawk garnishee.; sent9 -> int9: the poinsettia is not a Sabal if the fact that it is a martinet and it apes poinsettia is wrong.; sent19 & sent1 & sent10 -> int10: the buttonhook is a Champagne.; sent6 & int10 -> int11: the buttonhook does not ape poinsettia and is not a Iowan.; int11 -> int12: the buttonhook does not ape poinsettia.; int12 -> int13: there exists something such that it does not ape poinsettia.;
$hypothesis$ = the garnishee does not cap. ; $context$ = sent1: the buttonhook is a Champagne if it does not treat magazine. sent2: The genus does not covet caladium. sent3: the poinsettia is not a cap. sent4: if something is both not a Hilo and a brougham it does squawk garnishee. sent5: the caladium is a Hilo if it is not a kind of a hippie. sent6: the buttonhook does not ape poinsettia and it is not a kind of a Iowan if it is a kind of a Champagne. sent7: if the fact that the poinsettia is not a Sabal is right the caladium is not a kind of a Hilo but it is a brougham. sent8: there is something such that it is a Hilo. sent9: if the fact that something is a martinet that apes poinsettia is wrong then that it is not a kind of a Sabal is correct. sent10: the buttonhook is a Champagne if it does not treat pate. sent11: there exists something such that it is a kind of a Hilo that squawks garnishee. sent12: the caladium is a Hilo and does not squawk garnishee if it is not a kind of a hippie. sent13: the caladium does covet genus if it is a hippie. sent14: the caladium is a kind of a Hilo. sent15: if the fact that something is not a hippie and does not covet genus does not hold it is a cap. sent16: the garnishee is not a Hilo. sent17: something does not squawk garnishee. sent18: the poinsettia is not a brougham if something is a Hilo and does not squawk garnishee. sent19: the buttonhook does not treat magazine or it does not treat pate or both. sent20: the caladium does not covet genus. sent21: if the caladium is not a kind of a brougham then the poinsettia does not squawk garnishee. ; $proof$ = 
void -> assump1: Let's assume that the caladium is a hippie.; sent13 & assump1 -> int1: the caladium does covet genus.; int1 & sent20 -> int2: this is contradiction.; [assump1] & int2 -> int3: the caladium is not a hippie.; int3 & sent12 -> int4: the caladium is a kind of a Hilo but it does not squawk garnishee.; int4 -> int5: something is a Hilo and does not squawk garnishee.; int5 & sent18 -> int6: the poinsettia is not a brougham.; __UNKNOWN__