the bondman is not a vicar.
sent1: the shirtsleeve is not antimonic. sent2: if the shirtsleeve is a component and it obliterates then the bondman is not a vicar. sent3: the shirtsleeve is a lacebark if it either is not a dairyman or is responsive or both. sent4: that the corkboard does not obliterate and it is not antimonic is not correct if the uraninite is not practical. sent5: if the corkboard is a lacebark the fact that that the shirtsleeve is not a vicar and is not a component is correct is not true. sent6: if the shirtsleeve is not unresponsive then it is a lacebark. sent7: something is a kind of a lacebark if the fact that it is antimonic hold. sent8: if something is a kind of a lacebark but it is not a component then it is antimonic. sent9: the shirtsleeve does obliterate and it is practical.
void -> assump1: Let's assume that the shirtsleeve is not a component.; sent8 -> int1: the shirtsleeve is antimonic if the fact that it is a kind of a lacebark that is not a component is right.; sent9 -> int2: the shirtsleeve obliterates.;
the bondman is a vicar.
sent7 -> int3: if the corkboard is antimonic that it is a lacebark hold.;
$hypothesis$ = the bondman is not a vicar. ; $context$ = sent1: the shirtsleeve is not antimonic. sent2: if the shirtsleeve is a component and it obliterates then the bondman is not a vicar. sent3: the shirtsleeve is a lacebark if it either is not a dairyman or is responsive or both. sent4: that the corkboard does not obliterate and it is not antimonic is not correct if the uraninite is not practical. sent5: if the corkboard is a lacebark the fact that that the shirtsleeve is not a vicar and is not a component is correct is not true. sent6: if the shirtsleeve is not unresponsive then it is a lacebark. sent7: something is a kind of a lacebark if the fact that it is antimonic hold. sent8: if something is a kind of a lacebark but it is not a component then it is antimonic. sent9: the shirtsleeve does obliterate and it is practical. ; $proof$ = 
void -> assump1: Let's assume that the shirtsleeve is not a component.; sent8 -> int1: the shirtsleeve is antimonic if the fact that it is a kind of a lacebark that is not a component is right.; sent9 -> int2: the shirtsleeve obliterates.; __UNKNOWN__