the yardstick is a koan.
sent1: if something is not a kind of a perceptibility and is a carpophore then it is a koan. sent2: if something is not microcephalic then it is not a perceptibility but Mediterranean. sent3: the yardstick is a kind of a pike-perch and it is a carpophore. sent4: the yardstick is not microcephalic if the porcupine is microcephalic and a brigandine. sent5: if that something is a koan but it is not microcephalic is not right it is not a kind of a koan. sent6: the porcupine is microcephalic but it is not a kind of a brigandine. sent7: if something is a brigandine that is not a pike-perch it is not a carpophore. sent8: the yardstick is a Mediterranean. sent9: the yardstick is not microcephalic if the porcupine is a kind of microcephalic thing that is not a kind of a brigandine. sent10: something that is not microcephalic is a Mediterranean. sent11: the fact that something is a kind of a koan and is not microcephalic does not hold if that it is not a carpophore hold. sent12: the yardstick is a kind of a pike-perch.
sent2 -> int1: if the yardstick is not microcephalic it is not a perceptibility and it is Mediterranean.; sent9 & sent6 -> int2: the yardstick is not microcephalic.; int1 & int2 -> int3: the fact that the yardstick is not a perceptibility but it is a Mediterranean is true.; int3 -> int4: the fact that the yardstick is not a perceptibility is true.; sent3 -> int5: the yardstick is a carpophore.; int4 & int5 -> int6: the yardstick is not a perceptibility but a carpophore.; sent1 -> int7: the yardstick is a koan if it is not a perceptibility and is a carpophore.; int6 & int7 -> hypothesis;
the fact that the yardstick is not a koan is correct.
sent5 -> int8: the yardstick is not a koan if the fact that it is a koan and is not microcephalic is wrong.; sent11 -> int9: that the yardstick is both a koan and not microcephalic is incorrect if it is not a carpophore.; sent7 -> int10: if the yardstick is a kind of a brigandine that is not a pike-perch then it is not a kind of a carpophore.;
$hypothesis$ = the yardstick is a koan. ; $context$ = sent1: if something is not a kind of a perceptibility and is a carpophore then it is a koan. sent2: if something is not microcephalic then it is not a perceptibility but Mediterranean. sent3: the yardstick is a kind of a pike-perch and it is a carpophore. sent4: the yardstick is not microcephalic if the porcupine is microcephalic and a brigandine. sent5: if that something is a koan but it is not microcephalic is not right it is not a kind of a koan. sent6: the porcupine is microcephalic but it is not a kind of a brigandine. sent7: if something is a brigandine that is not a pike-perch it is not a carpophore. sent8: the yardstick is a Mediterranean. sent9: the yardstick is not microcephalic if the porcupine is a kind of microcephalic thing that is not a kind of a brigandine. sent10: something that is not microcephalic is a Mediterranean. sent11: the fact that something is a kind of a koan and is not microcephalic does not hold if that it is not a carpophore hold. sent12: the yardstick is a kind of a pike-perch. ; $proof$ = 
sent2 -> int1: if the yardstick is not microcephalic it is not a perceptibility and it is Mediterranean.; sent9 & sent6 -> int2: the yardstick is not microcephalic.; int1 & int2 -> int3: the fact that the yardstick is not a perceptibility but it is a Mediterranean is true.; int3 -> int4: the fact that the yardstick is not a perceptibility is true.; sent3 -> int5: the yardstick is a carpophore.; int4 & int5 -> int6: the yardstick is not a perceptibility but a carpophore.; sent1 -> int7: the yardstick is a koan if it is not a perceptibility and is a carpophore.; int6 & int7 -> hypothesis; __PROVED__