the pogonophoran is not a berth.
sent1: if the fact that the process is both inconsistent and non-zero is incorrect the pivot is not a Gladstone. sent2: if the process is a Smetana and a Gladstone then the stalking-horse is not a Gladstone. sent3: if something spectates expurgation it is a kind of a Smetana. sent4: the fact that the voltmeter is noncommercial but it does not admit is wrong if something is passionless. sent5: the voltmeter spectates expurgation if that it is noncommercial and it does not admit is wrong. sent6: the fact that the pogonophoran does not berth is not false if an inconsistent thing does not zero. sent7: there are passionless things. sent8: the hamper is not a managership but it is a kind of a Gladstone if the pivot is not a Gladstone.
void -> assump1: Let's assume that that the process is not consistent and it is not a zero is not true.; sent1 & assump1 -> int1: the pivot is not a Gladstone.; int1 & sent8 -> int2: the hamper is not a kind of a managership and is a kind of a Gladstone.; sent3 -> int3: the voltmeter is a Smetana if it does spectate expurgation.; sent7 & sent4 -> int4: that the voltmeter is noncommercial and does not admit does not hold.; sent5 & int4 -> int5: the voltmeter does spectate expurgation.; int3 & int5 -> int6: the voltmeter is a Smetana.;
that the stalking-horse is not a kind of a Gladstone is true.
$hypothesis$ = the pogonophoran is not a berth. ; $context$ = sent1: if the fact that the process is both inconsistent and non-zero is incorrect the pivot is not a Gladstone. sent2: if the process is a Smetana and a Gladstone then the stalking-horse is not a Gladstone. sent3: if something spectates expurgation it is a kind of a Smetana. sent4: the fact that the voltmeter is noncommercial but it does not admit is wrong if something is passionless. sent5: the voltmeter spectates expurgation if that it is noncommercial and it does not admit is wrong. sent6: the fact that the pogonophoran does not berth is not false if an inconsistent thing does not zero. sent7: there are passionless things. sent8: the hamper is not a managership but it is a kind of a Gladstone if the pivot is not a Gladstone. ; $proof$ = 
void -> assump1: Let's assume that that the process is not consistent and it is not a zero is not true.; sent1 & assump1 -> int1: the pivot is not a Gladstone.; int1 & sent8 -> int2: the hamper is not a kind of a managership and is a kind of a Gladstone.; sent3 -> int3: the voltmeter is a Smetana if it does spectate expurgation.; sent7 & sent4 -> int4: that the voltmeter is noncommercial and does not admit does not hold.; sent5 & int4 -> int5: the voltmeter does spectate expurgation.; int3 & int5 -> int6: the voltmeter is a Smetana.; __UNKNOWN__