the fact that the wheedler does not bark Austen hold.
sent1: something does facilitate Rissa if the fact that it does not facilitate Rissa and is a kind of a linsey-woolsey does not hold. sent2: there is nothing that does not facilitate Rissa and is a linsey-woolsey. sent3: if either the adjunct bypasses Karnataka or it is a hemiepiphyte or both the bogy does not facilitate Rissa.
void -> assump1: Let's assume that the wheedler barks Austen.; sent1 -> int1: if that the bogy does not facilitate Rissa and is a kind of a linsey-woolsey is false it does facilitate Rissa.; sent2 -> int2: that the bogy does not facilitate Rissa but it is a linsey-woolsey is false.; int1 & int2 -> int3: the bogy facilitates Rissa.;
$hypothesis$ = the fact that the wheedler does not bark Austen hold. ; $context$ = sent1: something does facilitate Rissa if the fact that it does not facilitate Rissa and is a kind of a linsey-woolsey does not hold. sent2: there is nothing that does not facilitate Rissa and is a linsey-woolsey. sent3: if either the adjunct bypasses Karnataka or it is a hemiepiphyte or both the bogy does not facilitate Rissa. ; $proof$ = 
void -> assump1: Let's assume that the wheedler barks Austen.; sent1 -> int1: if that the bogy does not facilitate Rissa and is a kind of a linsey-woolsey is false it does facilitate Rissa.; sent2 -> int2: that the bogy does not facilitate Rissa but it is a linsey-woolsey is false.; int1 & int2 -> int3: the bogy facilitates Rissa.; __UNKNOWN__