there exists something such that if it rears Manannan it is not Jamesian and it is not mediate.
sent1: the bullfighter treks. sent2: the bullfighter is a trek and does not weave Willebrand. sent3: if the bullfighter does not rear Manannan and it is not a kind of a densitometer then it is not Jamesian. sent4: if the fact that the bullfighter does not rear Manannan and is not a kind of a densitometer is not true then it is not Jamesian. sent5: there is something such that if it rears Manannan it is not Jamesian but mediate. sent6: that the bullfighter does not rear Manannan but it is a kind of a densitometer is not true.
void -> assump1: Let's assume that the bullfighter does not rear Manannan and is not a densitometer.; assump1 -> int1: the fact that the bullfighter does not rear Manannan is not false.; void -> assump2: Let's assume that the bullfighter does rear Manannan.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the bullfighter does not rear Manannan and it is not a densitometer is not right.; int3 & sent4 -> int4: the bullfighter is not Jamesian.;
$hypothesis$ = there exists something such that if it rears Manannan it is not Jamesian and it is not mediate. ; $context$ = sent1: the bullfighter treks. sent2: the bullfighter is a trek and does not weave Willebrand. sent3: if the bullfighter does not rear Manannan and it is not a kind of a densitometer then it is not Jamesian. sent4: if the fact that the bullfighter does not rear Manannan and is not a kind of a densitometer is not true then it is not Jamesian. sent5: there is something such that if it rears Manannan it is not Jamesian but mediate. sent6: that the bullfighter does not rear Manannan but it is a kind of a densitometer is not true. ; $proof$ = 
void -> assump1: Let's assume that the bullfighter does not rear Manannan and is not a densitometer.; assump1 -> int1: the fact that the bullfighter does not rear Manannan is not false.; void -> assump2: Let's assume that the bullfighter does rear Manannan.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the bullfighter does not rear Manannan and it is not a densitometer is not right.; int3 & sent4 -> int4: the bullfighter is not Jamesian.; __UNKNOWN__