that the plasm is Hippocratic and is not cannibalistic is not right.
sent1: that the postulant is not gutless is not wrong. sent2: something that is not intercontinental is not Hippocratic. sent3: there is something such that it does not wrestle versification. sent4: if the postulant is not Hippocratic the plasm is not cannibalistic. sent5: if something does not wrestle versification the postulant is non-intercontinental. sent6: if the plasm does not blue charter then it does not wrestle versification and it is not intercontinental. sent7: if the postulant is not cannibalistic the plasm is cannibalistic but it is not Hippocratic. sent8: there exists something such that it does wrestle versification. sent9: the plasm is not cannibalistic. sent10: the plasm is both Hippocratic and non-cannibalistic if the postulant is not Hippocratic. sent11: if something does not wrestle versification then the fact that it is Hippocratic and it is not cannibalistic does not hold.
sent3 & sent5 -> int1: the postulant is not intercontinental.; sent2 -> int2: if the postulant is not intercontinental then it is not Hippocratic.; int1 & int2 -> int3: the postulant is non-Hippocratic.; int3 & sent10 -> hypothesis;
the fact that the plasm is a kind of Hippocratic thing that is not cannibalistic is wrong.
sent11 -> int4: if the plasm does not wrestle versification that that it is both Hippocratic and not cannibalistic is right is not true.;
$hypothesis$ = that the plasm is Hippocratic and is not cannibalistic is not right. ; $context$ = sent1: that the postulant is not gutless is not wrong. sent2: something that is not intercontinental is not Hippocratic. sent3: there is something such that it does not wrestle versification. sent4: if the postulant is not Hippocratic the plasm is not cannibalistic. sent5: if something does not wrestle versification the postulant is non-intercontinental. sent6: if the plasm does not blue charter then it does not wrestle versification and it is not intercontinental. sent7: if the postulant is not cannibalistic the plasm is cannibalistic but it is not Hippocratic. sent8: there exists something such that it does wrestle versification. sent9: the plasm is not cannibalistic. sent10: the plasm is both Hippocratic and non-cannibalistic if the postulant is not Hippocratic. sent11: if something does not wrestle versification then the fact that it is Hippocratic and it is not cannibalistic does not hold. ; $proof$ = 
sent3 & sent5 -> int1: the postulant is not intercontinental.; sent2 -> int2: if the postulant is not intercontinental then it is not Hippocratic.; int1 & int2 -> int3: the postulant is non-Hippocratic.; int3 & sent10 -> hypothesis; __DISPROVED__