the fact that the perithecium is not a hole and does not wander is false.
sent1: the oven is excitable if it does denationalize Libocedrus. sent2: if something does not denationalize Libocedrus then it is not a hole and does not wander. sent3: the oven does denationalize Libocedrus. sent4: The Libocedrus does denationalize oven. sent5: if something does denationalize burden that it does not wander is wrong.
void -> assump1: Let's assume that the perithecium is not a hole and does not wander.; sent1 & sent3 -> int1: the oven is excitable.;
the perithecium does not hole and does not wander.
sent2 -> int2: the fact that the perithecium is not a kind of a hole and it does not wander is not false if it does not denationalize Libocedrus.;
$hypothesis$ = the fact that the perithecium is not a hole and does not wander is false. ; $context$ = sent1: the oven is excitable if it does denationalize Libocedrus. sent2: if something does not denationalize Libocedrus then it is not a hole and does not wander. sent3: the oven does denationalize Libocedrus. sent4: The Libocedrus does denationalize oven. sent5: if something does denationalize burden that it does not wander is wrong. ; $proof$ = 
void -> assump1: Let's assume that the perithecium is not a hole and does not wander.; sent1 & sent3 -> int1: the oven is excitable.; __UNKNOWN__