the farmer is a Singer or is a kind of a resident or both.
sent1: the companionway is not resident if it is a osteostracan that is a breakage. sent2: if something is a kind of a redberry and/or it is not instructive then the companionway is a kind of a Cretaceous. sent3: either the piroplasm is a redberry or it is not instructive or both if it is not a kind of a snooker. sent4: the piroplasm does not snooker. sent5: the fact that if the companionway is not a kind of a resident the farmer is a Singer or it is a kind of a resident or both is not wrong. sent6: the companionway is a osteostracan if it is a Cretaceous.
sent3 & sent4 -> int1: the piroplasm is either a redberry or not instructive or both.; int1 -> int2: something is a kind of a redberry or it is not instructive or both.; int2 & sent2 -> int3: the companionway is a kind of a Cretaceous.; int3 & sent6 -> int4: the companionway is a osteostracan.;
$hypothesis$ = the farmer is a Singer or is a kind of a resident or both. ; $context$ = sent1: the companionway is not resident if it is a osteostracan that is a breakage. sent2: if something is a kind of a redberry and/or it is not instructive then the companionway is a kind of a Cretaceous. sent3: either the piroplasm is a redberry or it is not instructive or both if it is not a kind of a snooker. sent4: the piroplasm does not snooker. sent5: the fact that if the companionway is not a kind of a resident the farmer is a Singer or it is a kind of a resident or both is not wrong. sent6: the companionway is a osteostracan if it is a Cretaceous. ; $proof$ = 
sent3 & sent4 -> int1: the piroplasm is either a redberry or not instructive or both.; int1 -> int2: something is a kind of a redberry or it is not instructive or both.; int2 & sent2 -> int3: the companionway is a kind of a Cretaceous.; int3 & sent6 -> int4: the companionway is a osteostracan.; __UNKNOWN__