if that the redshank is a kind of an emigrant is true then the monkshood is a gallium.
sent1: the redshank is logical if it is a kind of an emigrant. sent2: the redshank is a gallium. sent3: that the monkshood is logical is right if the redshank is a gallium. sent4: if something is a personal it is not a gallium and is a tollkeeper. sent5: something is an emigrant if it is a gallium. sent6: that the return is logical is not wrong. sent7: the Elamite is an emigrant. sent8: if that the redshank is not a gallium is correct the monkshood is an emigrant and it is logical. sent9: the fact that something is a gallium and it is a tollkeeper if it is not a kind of a personal is true.
void -> assump1: Let's assume that that the redshank is a kind of an emigrant hold.; sent1 & assump1 -> int1: the redshank is logical.;
the monkshood is an emigrant.
sent4 -> int2: if the redshank is a kind of a personal it is not a gallium and it is a tollkeeper.;
$hypothesis$ = if that the redshank is a kind of an emigrant is true then the monkshood is a gallium. ; $context$ = sent1: the redshank is logical if it is a kind of an emigrant. sent2: the redshank is a gallium. sent3: that the monkshood is logical is right if the redshank is a gallium. sent4: if something is a personal it is not a gallium and is a tollkeeper. sent5: something is an emigrant if it is a gallium. sent6: that the return is logical is not wrong. sent7: the Elamite is an emigrant. sent8: if that the redshank is not a gallium is correct the monkshood is an emigrant and it is logical. sent9: the fact that something is a gallium and it is a tollkeeper if it is not a kind of a personal is true. ; $proof$ = 
void -> assump1: Let's assume that that the redshank is a kind of an emigrant hold.; sent1 & assump1 -> int1: the redshank is logical.; __UNKNOWN__