the T-bar does partner.
sent1: the fact that the T-bar is both a subcompact and a craze does not hold. sent2: if the pasang does guard wop it is a feline. sent3: The fact that the wop guards pasang is true. sent4: something does subside barcarole if it is a feline. sent5: the fact that the T-bar is a subcompact and does not craze is not correct if it is not a partner. sent6: the fact that the pasang guards wop is true. sent7: that the T-bar is not a kind of a feline hold if the pasang partners.
void -> assump1: Let's assume that the T-bar is not a partner.; sent5 & assump1 -> int1: that the T-bar is a subcompact but it is not a kind of a craze does not hold.; sent4 -> int2: the fact that the pasang does subside barcarole is not wrong if it is a kind of a feline.; sent2 & sent6 -> int3: the pasang is a feline.; int2 & int3 -> int4: the pasang does subside barcarole.;
$hypothesis$ = the T-bar does partner. ; $context$ = sent1: the fact that the T-bar is both a subcompact and a craze does not hold. sent2: if the pasang does guard wop it is a feline. sent3: The fact that the wop guards pasang is true. sent4: something does subside barcarole if it is a feline. sent5: the fact that the T-bar is a subcompact and does not craze is not correct if it is not a partner. sent6: the fact that the pasang guards wop is true. sent7: that the T-bar is not a kind of a feline hold if the pasang partners. ; $proof$ = 
void -> assump1: Let's assume that the T-bar is not a partner.; sent5 & assump1 -> int1: that the T-bar is a subcompact but it is not a kind of a craze does not hold.; sent4 -> int2: the fact that the pasang does subside barcarole is not wrong if it is a kind of a feline.; sent2 & sent6 -> int3: the pasang is a feline.; int2 & int3 -> int4: the pasang does subside barcarole.; __UNKNOWN__