the seeder is noncommercial.
sent1: if the seeder is Afghani but it is not a host then that it is not a kind of a racketeer is right. sent2: something is both Afghani and not a host if it is a Serra. sent3: if either the seeder is not a kind of a Serra or it is not a native or both then it is not commercial. sent4: if the kingdom is not a native that the flier is a racketeer and a Serra is wrong. sent5: if something is an envy but it is not noncommercial then it is not native.
sent2 -> int1: if the fact that the seeder is a Serra is correct then it is Afghani and it is not a host.; void -> assump1: Let's assume that the seeder is a Serra.; int1 & assump1 -> int2: the seeder is a kind of Afghani thing that is not a kind of a host.; int2 & sent1 -> int3: the seeder is not a racketeer.;
the flier is not a Serra.
sent5 -> int4: if the kingdom is an envy but it is not noncommercial then it is not a native.;
$hypothesis$ = the seeder is noncommercial. ; $context$ = sent1: if the seeder is Afghani but it is not a host then that it is not a kind of a racketeer is right. sent2: something is both Afghani and not a host if it is a Serra. sent3: if either the seeder is not a kind of a Serra or it is not a native or both then it is not commercial. sent4: if the kingdom is not a native that the flier is a racketeer and a Serra is wrong. sent5: if something is an envy but it is not noncommercial then it is not native. ; $proof$ = 
sent2 -> int1: if the fact that the seeder is a Serra is correct then it is Afghani and it is not a host.; void -> assump1: Let's assume that the seeder is a Serra.; int1 & assump1 -> int2: the seeder is a kind of Afghani thing that is not a kind of a host.; int2 & sent1 -> int3: the seeder is not a racketeer.; __UNKNOWN__