the fact that the beadle is effective hold.
sent1: that if something is unhealthful the fact that it does not reface fiddleneck and it does reface dais is not correct is right. sent2: the beadle is noticeable if the arrester is not a townie and is not brahminic. sent3: something is not ineffective if it is noticeable. sent4: the arrester does not fracture arrester. sent5: the mitochondrion does rain. sent6: the arrester is not brahminic and it does not fracture arrester. sent7: the mitochondrion is a kind of a sushi if it rains. sent8: if the mitochondrion is not unhealthful but it is a sushi the arrester is not a kind of a townie. sent9: if something is unhealthful that it does not reface fiddleneck and does not reface dais is not true. sent10: that something refaces fiddleneck and does not reface dais is false if it is unhealthful.
sent9 -> int1: if the mitochondrion is unhealthful then that it does not reface fiddleneck and it does not reface dais is not true.; void -> assump1: Let's assume that the mitochondrion is unhealthful.; int1 & assump1 -> int2: the fact that the mitochondrion does not reface fiddleneck and does not reface dais is false.; sent7 & sent5 -> int3: the mitochondrion is a sushi.; sent6 -> int4: the fact that the arrester is not brahminic is not false.; sent3 -> int5: if the beadle is noticeable then it is effective.;
$hypothesis$ = the fact that the beadle is effective hold. ; $context$ = sent1: that if something is unhealthful the fact that it does not reface fiddleneck and it does reface dais is not correct is right. sent2: the beadle is noticeable if the arrester is not a townie and is not brahminic. sent3: something is not ineffective if it is noticeable. sent4: the arrester does not fracture arrester. sent5: the mitochondrion does rain. sent6: the arrester is not brahminic and it does not fracture arrester. sent7: the mitochondrion is a kind of a sushi if it rains. sent8: if the mitochondrion is not unhealthful but it is a sushi the arrester is not a kind of a townie. sent9: if something is unhealthful that it does not reface fiddleneck and does not reface dais is not true. sent10: that something refaces fiddleneck and does not reface dais is false if it is unhealthful. ; $proof$ = 
sent9 -> int1: if the mitochondrion is unhealthful then that it does not reface fiddleneck and it does not reface dais is not true.; void -> assump1: Let's assume that the mitochondrion is unhealthful.; int1 & assump1 -> int2: the fact that the mitochondrion does not reface fiddleneck and does not reface dais is false.; sent7 & sent5 -> int3: the mitochondrion is a sushi.; sent6 -> int4: the fact that the arrester is not brahminic is not false.; sent3 -> int5: if the beadle is noticeable then it is effective.; __UNKNOWN__