that the redbird is not non-argentic and not nonrepresentative does not hold if the Iranian is a Shona.
sent1: something is not unquiet if it is hopeful. sent2: if something is Shona then it is not representative. sent3: if the redbird is a Shona that the Iranian is a kind of argentic thing that is not nonrepresentative does not hold. sent4: that the redbird is both argentic and nonrepresentative is false if the Iranian is nonrepresentative. sent5: if something is Mexican then it is regional. sent6: the fact that the Iranian is nonrepresentative and it is argentic is not right if the redbird is a Shona. sent7: that the redbird is not representative and it is a kind of a Shona is not right. sent8: that the redbird is a kind of argentic thing that is nonrepresentative does not hold.
sent2 -> int1: if the Iranian is a Shona then it is nonrepresentative.; void -> assump1: Let's assume that the Iranian is a Shona.; int1 & assump1 -> int2: that the Iranian is nonrepresentative hold.;
that the caber is quiet if the caber is hopeful is not false.
sent1 -> hypothesis;
$hypothesis$ = that the redbird is not non-argentic and not nonrepresentative does not hold if the Iranian is a Shona. ; $context$ = sent1: something is not unquiet if it is hopeful. sent2: if something is Shona then it is not representative. sent3: if the redbird is a Shona that the Iranian is a kind of argentic thing that is not nonrepresentative does not hold. sent4: that the redbird is both argentic and nonrepresentative is false if the Iranian is nonrepresentative. sent5: if something is Mexican then it is regional. sent6: the fact that the Iranian is nonrepresentative and it is argentic is not right if the redbird is a Shona. sent7: that the redbird is not representative and it is a kind of a Shona is not right. sent8: that the redbird is a kind of argentic thing that is nonrepresentative does not hold. ; $proof$ = 
sent2 -> int1: if the Iranian is a Shona then it is nonrepresentative.; void -> assump1: Let's assume that the Iranian is a Shona.; int1 & assump1 -> int2: that the Iranian is nonrepresentative hold.; __UNKNOWN__