the delayer is a cheer.
sent1: The bicorn does sicken potash. sent2: the potash does sicken bicorn. sent3: if the delayer is a kind of a Mao it is optimistic. sent4: the delayer cheers if it twirls. sent5: the fact that the delayer is a Mao hold if that the potash sickens bicorn hold. sent6: something twirls if it is optimistic.
sent5 & sent2 -> int1: the delayer is a Mao.; int1 & sent3 -> int2: the delayer is optimistic.; sent6 -> int3: if the delayer is optimistic then it twirls.; int2 & int3 -> int4: the delayer does twirl.; int4 & sent4 -> hypothesis;
$hypothesis$ = the delayer is a cheer. ; $context$ = sent1: The bicorn does sicken potash. sent2: the potash does sicken bicorn. sent3: if the delayer is a kind of a Mao it is optimistic. sent4: the delayer cheers if it twirls. sent5: the fact that the delayer is a Mao hold if that the potash sickens bicorn hold. sent6: something twirls if it is optimistic. ; $proof$ = 
sent5 & sent2 -> int1: the delayer is a Mao.; int1 & sent3 -> int2: the delayer is optimistic.; sent6 -> int3: if the delayer is optimistic then it twirls.; int2 & int3 -> int4: the delayer does twirl.; int4 & sent4 -> hypothesis; __PROVED__