the cartwheel is a kind of a brownie.
sent1: if the throstle does not service Gould and it does not scent megaton that the limeade does not service Gould is not false. sent2: if the censor is an alpaca the cartwheel is a brownie. sent3: the cartwheel is not cerebral. sent4: that the censor does not scent throstle but it is an alpaca is not true if it does not impinge. sent5: if the fact that the censor is not a brownie is true then the cartwheel is neural and it is a kind of an alpaca. sent6: if that something does not scent throstle but it is an alpaca is not right it is not an alpaca. sent7: the cartwheel is neural. sent8: the throstle does bespangle and is a consignment. sent9: if something is not zoic it does compel cartwheel. sent10: the cartwheel is a kind of a Crex if it is not a Litocranius. sent11: the censor is neural if it is cerebral. sent12: if the censor does not scent throstle then it is not neural. sent13: the throstle does not service Gould and does not scent megaton if it bespangles. sent14: if something is not cerebral it is an alpaca. sent15: that something is joint and it impinges is incorrect if it does not service Gould. sent16: if that the Savoy services Gould and it does compel osteotomy is not correct it does not compel foreman. sent17: the censor is a kind of a brownie if the cartwheel does scent throstle. sent18: the censor is not a brownie if that the limeade is a joint that does impinge is not right. sent19: if the fact that the censor does impinge and scents throstle is not right it is not neural.
void -> assump1: Let's assume that the censor is cerebral.; sent11 & assump1 -> int1: the censor is neural.; sent14 -> int2: the censor is an alpaca if it is not cerebral.;
the cartwheel does not scent throstle.
sent15 -> int3: the fact that the limeade joints and it does impinge is false if it does not service Gould.; sent8 -> int4: the throstle bespangles.; sent13 & int4 -> int5: the throstle does not service Gould and does not scent megaton.; sent1 & int5 -> int6: the limeade does not service Gould.; int3 & int6 -> int7: the fact that the limeade joints and it does impinge is not right.; sent18 & int7 -> int8: the censor is not a brownie.; sent5 & int8 -> int9: the cartwheel is neural and it is an alpaca.; int9 -> int10: the cartwheel is neural.;
$hypothesis$ = the cartwheel is a kind of a brownie. ; $context$ = sent1: if the throstle does not service Gould and it does not scent megaton that the limeade does not service Gould is not false. sent2: if the censor is an alpaca the cartwheel is a brownie. sent3: the cartwheel is not cerebral. sent4: that the censor does not scent throstle but it is an alpaca is not true if it does not impinge. sent5: if the fact that the censor is not a brownie is true then the cartwheel is neural and it is a kind of an alpaca. sent6: if that something does not scent throstle but it is an alpaca is not right it is not an alpaca. sent7: the cartwheel is neural. sent8: the throstle does bespangle and is a consignment. sent9: if something is not zoic it does compel cartwheel. sent10: the cartwheel is a kind of a Crex if it is not a Litocranius. sent11: the censor is neural if it is cerebral. sent12: if the censor does not scent throstle then it is not neural. sent13: the throstle does not service Gould and does not scent megaton if it bespangles. sent14: if something is not cerebral it is an alpaca. sent15: that something is joint and it impinges is incorrect if it does not service Gould. sent16: if that the Savoy services Gould and it does compel osteotomy is not correct it does not compel foreman. sent17: the censor is a kind of a brownie if the cartwheel does scent throstle. sent18: the censor is not a brownie if that the limeade is a joint that does impinge is not right. sent19: if the fact that the censor does impinge and scents throstle is not right it is not neural. ; $proof$ = 
void -> assump1: Let's assume that the censor is cerebral.; sent11 & assump1 -> int1: the censor is neural.; sent14 -> int2: the censor is an alpaca if it is not cerebral.; __UNKNOWN__