the familiar does not yield Kansa.
sent1: the fact that the relay is not expansionist is right if the fact that it is not sciatic and/or is philosophical is not right. sent2: something that is not mandibulofacial is expansionist and/or does yield Kansa. sent3: if that something is a kind of a ctenophore and/or barks is not right it is not a perfume. sent4: the familiar is expansionist if that the relay is philosophical is not false. sent5: there is something such that it is mandibulofacial. sent6: the relay is philosophical and/or it is expansionist if there is something such that it is mandibulofacial. sent7: if the fact that something is not sciatic and/or it yields corvee is not right then it is not expansionist. sent8: if the familiar yields Kansa then the fact that it is not sciatic and/or it does yield corvee is incorrect.
void -> assump1: Let's assume that the familiar yields Kansa.; sent8 & assump1 -> int1: the fact that either the familiar is not sciatic or it yields corvee or both is wrong.; sent7 -> int2: if that the familiar is not sciatic and/or yields corvee is wrong it is not expansionist.; int1 & int2 -> int3: the familiar is non-expansionist.; sent5 & sent6 -> int4: the relay is philosophical and/or it is expansionist.;
the cottontail is not philosophical.
sent2 -> int5: that the familiar is expansionist or it does yield Kansa or both is not false if it is not mandibulofacial.;
$hypothesis$ = the familiar does not yield Kansa. ; $context$ = sent1: the fact that the relay is not expansionist is right if the fact that it is not sciatic and/or is philosophical is not right. sent2: something that is not mandibulofacial is expansionist and/or does yield Kansa. sent3: if that something is a kind of a ctenophore and/or barks is not right it is not a perfume. sent4: the familiar is expansionist if that the relay is philosophical is not false. sent5: there is something such that it is mandibulofacial. sent6: the relay is philosophical and/or it is expansionist if there is something such that it is mandibulofacial. sent7: if the fact that something is not sciatic and/or it yields corvee is not right then it is not expansionist. sent8: if the familiar yields Kansa then the fact that it is not sciatic and/or it does yield corvee is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the familiar yields Kansa.; sent8 & assump1 -> int1: the fact that either the familiar is not sciatic or it yields corvee or both is wrong.; sent7 -> int2: if that the familiar is not sciatic and/or yields corvee is wrong it is not expansionist.; int1 & int2 -> int3: the familiar is non-expansionist.; sent5 & sent6 -> int4: the relay is philosophical and/or it is expansionist.; __UNKNOWN__