the forty-five concerns arccosecant and is testaceous.
sent1: the lilac does greet if it does reopen delegating. sent2: the forty-five does reopen totality if the lilac does not greet and does boomerang. sent3: if that something reopens totality is right then it concerns arccosecant. sent4: the forty-five is testaceous if that it is an undesirable and does not reopen delegating is not true. sent5: the totality is a kind of a voluntary that greets. sent6: the lilac does not greet and does boomerang. sent7: if something does reopen totality it is an undesirable.
sent2 & sent6 -> int1: the forty-five does reopen totality.; sent3 -> int2: the fact that the forty-five does concern arccosecant is right if it does reopen totality.; int1 & int2 -> int3: the forty-five concerns arccosecant.;
$hypothesis$ = the forty-five concerns arccosecant and is testaceous. ; $context$ = sent1: the lilac does greet if it does reopen delegating. sent2: the forty-five does reopen totality if the lilac does not greet and does boomerang. sent3: if that something reopens totality is right then it concerns arccosecant. sent4: the forty-five is testaceous if that it is an undesirable and does not reopen delegating is not true. sent5: the totality is a kind of a voluntary that greets. sent6: the lilac does not greet and does boomerang. sent7: if something does reopen totality it is an undesirable. ; $proof$ = 
sent2 & sent6 -> int1: the forty-five does reopen totality.; sent3 -> int2: the fact that the forty-five does concern arccosecant is right if it does reopen totality.; int1 & int2 -> int3: the forty-five concerns arccosecant.; __UNKNOWN__