the mailbag does not embrown bioscience but it does embrown secrecy.
sent1: the mailbag is not proprioceptive but interstellar if it does not stow Arceuthobium. sent2: if the coalbin does not stow Arceuthobium that the mailbag does not embrown bioscience and does embrown secrecy is not right. sent3: something does not strafe and it does not unclothe grape if it is not transactinide. sent4: something does not embrown bioscience but it does embrown secrecy if it does not stow Arceuthobium. sent5: if something that is not a kind of a strafe does not unclothe grape it does not stow Arceuthobium. sent6: the mailbag does not unclothe volatility. sent7: something is not occupational but it shirks if it does not pound. sent8: something is not a transactinide if that it is not a willow but transactinide is wrong. sent9: the mailbag does strafe if it stows Arceuthobium. sent10: something does not indurate and does stop if it does not stow poxvirus. sent11: the mailbag is not a Elaeagnaceae. sent12: something that does not embrown bioscience is not a kind of a strafe and does embrown secrecy. sent13: if something does not stow Arceuthobium it does not strafe.
void -> assump1: Let's assume that that the mailbag stows Arceuthobium hold.; sent9 & assump1 -> int1: the mailbag does strafe.; sent4 -> int2: if the mailbag does not stow Arceuthobium then it does not embrown bioscience and it embrowns secrecy.;
that the mailbag does not embrown bioscience but it does embrown secrecy is false.
sent5 -> int3: if the coalbin does not strafe and does not unclothe grape then it does not stow Arceuthobium.; sent3 -> int4: the coalbin is not a kind of a strafe and does not unclothe grape if it is not a transactinide.; sent8 -> int5: if the fact that the coalbin is both not a willow and a transactinide is false then it is not a kind of a transactinide.;
$hypothesis$ = the mailbag does not embrown bioscience but it does embrown secrecy. ; $context$ = sent1: the mailbag is not proprioceptive but interstellar if it does not stow Arceuthobium. sent2: if the coalbin does not stow Arceuthobium that the mailbag does not embrown bioscience and does embrown secrecy is not right. sent3: something does not strafe and it does not unclothe grape if it is not transactinide. sent4: something does not embrown bioscience but it does embrown secrecy if it does not stow Arceuthobium. sent5: if something that is not a kind of a strafe does not unclothe grape it does not stow Arceuthobium. sent6: the mailbag does not unclothe volatility. sent7: something is not occupational but it shirks if it does not pound. sent8: something is not a transactinide if that it is not a willow but transactinide is wrong. sent9: the mailbag does strafe if it stows Arceuthobium. sent10: something does not indurate and does stop if it does not stow poxvirus. sent11: the mailbag is not a Elaeagnaceae. sent12: something that does not embrown bioscience is not a kind of a strafe and does embrown secrecy. sent13: if something does not stow Arceuthobium it does not strafe. ; $proof$ = 
void -> assump1: Let's assume that that the mailbag stows Arceuthobium hold.; sent9 & assump1 -> int1: the mailbag does strafe.; sent4 -> int2: if the mailbag does not stow Arceuthobium then it does not embrown bioscience and it embrowns secrecy.; __UNKNOWN__