the overlap is not seasonable.
sent1: if the fact that something is a Capetian is not false then it does not personify discoloration and is a kind of a workbook. sent2: something is non-neritic thing that does interlock locksmith if that it is seasonable is true. sent3: something is not judicial if it jumbles Derain. sent4: something is not a Onychophora if it is an anarchy. sent5: the overlap is not an anarchy but it does jumble Mallophaga. sent6: the locksmith interlocks locksmith. sent7: the overlap is both worthy and a bogeyman. sent8: the forget-me-not is not seasonable.
sent2 -> int1: if the overlap is seasonable it is not neritic and interlocks locksmith.; void -> assump1: Let's assume that the overlap is seasonable.; int1 & assump1 -> int2: the overlap is not neritic and does interlock locksmith.;
$hypothesis$ = the overlap is not seasonable. ; $context$ = sent1: if the fact that something is a Capetian is not false then it does not personify discoloration and is a kind of a workbook. sent2: something is non-neritic thing that does interlock locksmith if that it is seasonable is true. sent3: something is not judicial if it jumbles Derain. sent4: something is not a Onychophora if it is an anarchy. sent5: the overlap is not an anarchy but it does jumble Mallophaga. sent6: the locksmith interlocks locksmith. sent7: the overlap is both worthy and a bogeyman. sent8: the forget-me-not is not seasonable. ; $proof$ = 
sent2 -> int1: if the overlap is seasonable it is not neritic and interlocks locksmith.; void -> assump1: Let's assume that the overlap is seasonable.; int1 & assump1 -> int2: the overlap is not neritic and does interlock locksmith.; __UNKNOWN__