the stockjobber is a Junior.
sent1: the fact that the arctic is not a Junior and loads is not right. sent2: if the arctic is not a Spheniscidae and is a Junior then the stockjobber is not a whopper. sent3: if the stockjobber is both a Spheniscidae and a Adam that the arctic is not a loading is not incorrect. sent4: that the stockjobber is a Spheniscidae and it is a kind of a Adam is not true. sent5: that the stockjobber is not a ineligibility but it loads does not hold. sent6: the tree is a Spheniscidae. sent7: if the stockjobber is a kind of a Spheniscidae then it is a Junior. sent8: something is a Junior if it is a kind of a Spheniscidae. sent9: the arctic is a Adam if the fact that it is not a loading and it is a Junior is incorrect. sent10: the stand-in is not a harelip and spills bubbliness. sent11: the arctic is a ineligibility. sent12: the stockjobber is not a kind of a loading. sent13: the workspace is a Adam. sent14: something is a kind of a Junior if the fact that it is not a Spheniscidae but a Adam is wrong. sent15: the arctic is a kind of a whopper that is a loading. sent16: if that the stockjobber does not spill Lasso and does spill epidiascope is not right it is a Adam. sent17: the fact that the stockjobber is not a Junior but it is a loading is incorrect. sent18: the stockjobber is not a Spheniscidae. sent19: the arctic dilapidates novelist and is a Spheniscidae. sent20: the arctic is not a loading if the stockjobber is not a kind of a Junior but it is a whopper. sent21: the arctic is a kind of a whopper.
void -> assump1: Let's assume that the stockjobber is both not a Spheniscidae and a Adam.; sent15 -> int1: the arctic is a loading.; sent14 -> int2: if that the stockjobber is not a kind of a Spheniscidae but it is a Adam does not hold then it is a Junior.;
$hypothesis$ = the stockjobber is a Junior. ; $context$ = sent1: the fact that the arctic is not a Junior and loads is not right. sent2: if the arctic is not a Spheniscidae and is a Junior then the stockjobber is not a whopper. sent3: if the stockjobber is both a Spheniscidae and a Adam that the arctic is not a loading is not incorrect. sent4: that the stockjobber is a Spheniscidae and it is a kind of a Adam is not true. sent5: that the stockjobber is not a ineligibility but it loads does not hold. sent6: the tree is a Spheniscidae. sent7: if the stockjobber is a kind of a Spheniscidae then it is a Junior. sent8: something is a Junior if it is a kind of a Spheniscidae. sent9: the arctic is a Adam if the fact that it is not a loading and it is a Junior is incorrect. sent10: the stand-in is not a harelip and spills bubbliness. sent11: the arctic is a ineligibility. sent12: the stockjobber is not a kind of a loading. sent13: the workspace is a Adam. sent14: something is a kind of a Junior if the fact that it is not a Spheniscidae but a Adam is wrong. sent15: the arctic is a kind of a whopper that is a loading. sent16: if that the stockjobber does not spill Lasso and does spill epidiascope is not right it is a Adam. sent17: the fact that the stockjobber is not a Junior but it is a loading is incorrect. sent18: the stockjobber is not a Spheniscidae. sent19: the arctic dilapidates novelist and is a Spheniscidae. sent20: the arctic is not a loading if the stockjobber is not a kind of a Junior but it is a whopper. sent21: the arctic is a kind of a whopper. ; $proof$ = 
void -> assump1: Let's assume that the stockjobber is both not a Spheniscidae and a Adam.; sent15 -> int1: the arctic is a loading.; sent14 -> int2: if that the stockjobber is not a kind of a Spheniscidae but it is a Adam does not hold then it is a Junior.; __UNKNOWN__