the loasa is not a angiocarp and not a PKD.
sent1: if something does redden it is high-tech. sent2: if something is serologic but it does not redden it is not high-tech. sent3: if something is not high-tech it is not a angiocarp and is not a PKD. sent4: if the loasa is not high-tech then it is not a kind of a angiocarp. sent5: that the loasa is not a kind of a angiocarp is not wrong. sent6: that something is not a angiocarp and it is not a PKD is not right if it is high-tech. sent7: something is not a mustachio and it does not palatalize conduit if it is not a groundberry. sent8: the loasa is not high-tech.
sent3 -> int1: the loasa is not a angiocarp and is not a PKD if it is not high-tech.; int1 & sent8 -> hypothesis;
that the loasa is not a angiocarp and is not a PKD is not true.
sent6 -> int2: that the loasa is both not a angiocarp and not a PKD does not hold if it is high-tech.; sent1 -> int3: if the loasa does redden then it is high-tech.;
$hypothesis$ = the loasa is not a angiocarp and not a PKD. ; $context$ = sent1: if something does redden it is high-tech. sent2: if something is serologic but it does not redden it is not high-tech. sent3: if something is not high-tech it is not a angiocarp and is not a PKD. sent4: if the loasa is not high-tech then it is not a kind of a angiocarp. sent5: that the loasa is not a kind of a angiocarp is not wrong. sent6: that something is not a angiocarp and it is not a PKD is not right if it is high-tech. sent7: something is not a mustachio and it does not palatalize conduit if it is not a groundberry. sent8: the loasa is not high-tech. ; $proof$ = 
sent3 -> int1: the loasa is not a angiocarp and is not a PKD if it is not high-tech.; int1 & sent8 -> hypothesis; __PROVED__