the homespun is trabecular.
sent1: if the Sweet is a kind of a bollard then the homespun is unholy. sent2: there is something such that it is a kind of a bollard. sent3: the stave is an analyticity. sent4: the homespun is earthly. sent5: something is a kind of a partita. sent6: something is trabecular if it is unholy. sent7: the stave is earthly. sent8: there is something such that it is earthly. sent9: if something is a bollard then it is earthly. sent10: the stave is unholy if the homespun is an analyticity. sent11: something is unholy and it is a bollard. sent12: the Sweet is a bollard if there exists something such that it is a kind of an analyticity and it is earthly. sent13: the homespun does say and it is a kind of a bollard.
sent3 & sent7 -> int1: the stave is both an analyticity and earthly.; int1 -> int2: something is an analyticity that is earthly.; int2 & sent12 -> int3: the Sweet is a bollard.; int3 & sent1 -> int4: the homespun is unholy.; sent6 -> int5: the homespun is trabecular if the fact that it is unholy hold.; int4 & int5 -> hypothesis;
$hypothesis$ = the homespun is trabecular. ; $context$ = sent1: if the Sweet is a kind of a bollard then the homespun is unholy. sent2: there is something such that it is a kind of a bollard. sent3: the stave is an analyticity. sent4: the homespun is earthly. sent5: something is a kind of a partita. sent6: something is trabecular if it is unholy. sent7: the stave is earthly. sent8: there is something such that it is earthly. sent9: if something is a bollard then it is earthly. sent10: the stave is unholy if the homespun is an analyticity. sent11: something is unholy and it is a bollard. sent12: the Sweet is a bollard if there exists something such that it is a kind of an analyticity and it is earthly. sent13: the homespun does say and it is a kind of a bollard. ; $proof$ = 
sent3 & sent7 -> int1: the stave is both an analyticity and earthly.; int1 -> int2: something is an analyticity that is earthly.; int2 & sent12 -> int3: the Sweet is a bollard.; int3 & sent1 -> int4: the homespun is unholy.; sent6 -> int5: the homespun is trabecular if the fact that it is unholy hold.; int4 & int5 -> hypothesis; __PROVED__