the cornflower does bear schoolgirl.
sent1: if the cornflower is clayey then it is not humane. sent2: something that does superscribe cornflower is a blockade-runner. sent3: if something is a blockade-runner it does bear schoolgirl. sent4: the cornflower does not ban and is excretory. sent5: that the cornflower is not non-clayey hold if it is not a banned but excretory. sent6: the fact that something bears schoolgirl but it is not clayey is not right if it superscribes cornflower.
sent5 & sent4 -> int1: the cornflower is clayey.; sent2 -> int2: the cornflower is a kind of a blockade-runner if it does superscribe cornflower.; sent3 -> int3: if the cornflower is a blockade-runner it bears schoolgirl.;
the cornflower does not bear schoolgirl.
sent6 -> int4: if the schoolgirl superscribes cornflower that it does bear schoolgirl and is not clayey is not right.;
$hypothesis$ = the cornflower does bear schoolgirl. ; $context$ = sent1: if the cornflower is clayey then it is not humane. sent2: something that does superscribe cornflower is a blockade-runner. sent3: if something is a blockade-runner it does bear schoolgirl. sent4: the cornflower does not ban and is excretory. sent5: that the cornflower is not non-clayey hold if it is not a banned but excretory. sent6: the fact that something bears schoolgirl but it is not clayey is not right if it superscribes cornflower. ; $proof$ = 
sent5 & sent4 -> int1: the cornflower is clayey.; sent2 -> int2: the cornflower is a kind of a blockade-runner if it does superscribe cornflower.; sent3 -> int3: if the cornflower is a blockade-runner it bears schoolgirl.; __UNKNOWN__