the fact that the individual does not criticize Kinosternon is true.
sent1: the coneflower is a dig. sent2: if that the oyabun does not criticize Kinosternon hold the individual does not uphold cryptography and does not criticize Kinosternon. sent3: the fact that the demijohn is not Markovian and it is not porcine does not hold if the coneflower is not porcine. sent4: the fact that the oyabun does not criticize Kinosternon is true if that the demijohn is a kind of non-Markovian thing that is not porcine is not right. sent5: The coneflower does not crane coneflower. sent6: if something is automotive but it does not crane coneflower it is not a dig. sent7: the coneflower does not crane coneflower.
void -> assump1: Let's assume that the coneflower is porcine.; sent6 -> int1: if the coneflower is automotive but it does not crane coneflower then it is not a dig.;
$hypothesis$ = the fact that the individual does not criticize Kinosternon is true. ; $context$ = sent1: the coneflower is a dig. sent2: if that the oyabun does not criticize Kinosternon hold the individual does not uphold cryptography and does not criticize Kinosternon. sent3: the fact that the demijohn is not Markovian and it is not porcine does not hold if the coneflower is not porcine. sent4: the fact that the oyabun does not criticize Kinosternon is true if that the demijohn is a kind of non-Markovian thing that is not porcine is not right. sent5: The coneflower does not crane coneflower. sent6: if something is automotive but it does not crane coneflower it is not a dig. sent7: the coneflower does not crane coneflower. ; $proof$ = 
void -> assump1: Let's assume that the coneflower is porcine.; sent6 -> int1: if the coneflower is automotive but it does not crane coneflower then it is not a dig.; __UNKNOWN__