if the rorqual is a Cocculus the sahib is a kind of a Belarus.
sent1: the sahib is not a PDA and/or it is a palomino if the rorqual is non-lasting. sent2: the rorqual is not a kind of a lasting if it is not Shuha and does not star. sent3: that the switchboard is non-Shuha is not wrong. sent4: if that something is non-Shuha hold that the rorqual is non-Shuha and it is a kind of a impetigo is not right. sent5: if something is not a PDA and/or is a kind of a palomino then it is a kind of a Belarus. sent6: a Cocculus chances surfeit and does not star. sent7: the antipodes is not a kind of a lasting. sent8: the sahib does not chance surfeit.
sent6 -> int1: if the rorqual is a Cocculus it chances surfeit and is not a star.; void -> assump1: Let's assume that the fact that the rorqual is a Cocculus hold.; int1 & assump1 -> int2: the rorqual does chance surfeit but it is not a star.; int2 -> int3: the rorqual does not star.; sent3 -> int4: there are non-Shuha things.; int4 & sent4 -> int5: the fact that the rorqual is Shuha and it is a impetigo does not hold.; sent5 -> int6: if the sahib is either not a PDA or a palomino or both it is a Belarus.;
$hypothesis$ = if the rorqual is a Cocculus the sahib is a kind of a Belarus. ; $context$ = sent1: the sahib is not a PDA and/or it is a palomino if the rorqual is non-lasting. sent2: the rorqual is not a kind of a lasting if it is not Shuha and does not star. sent3: that the switchboard is non-Shuha is not wrong. sent4: if that something is non-Shuha hold that the rorqual is non-Shuha and it is a kind of a impetigo is not right. sent5: if something is not a PDA and/or is a kind of a palomino then it is a kind of a Belarus. sent6: a Cocculus chances surfeit and does not star. sent7: the antipodes is not a kind of a lasting. sent8: the sahib does not chance surfeit. ; $proof$ = 
sent6 -> int1: if the rorqual is a Cocculus it chances surfeit and is not a star.; void -> assump1: Let's assume that the fact that the rorqual is a Cocculus hold.; int1 & assump1 -> int2: the rorqual does chance surfeit but it is not a star.; int2 -> int3: the rorqual does not star.; sent3 -> int4: there are non-Shuha things.; int4 & sent4 -> int5: the fact that the rorqual is Shuha and it is a impetigo does not hold.; sent5 -> int6: if the sahib is either not a PDA or a palomino or both it is a Belarus.; __UNKNOWN__