if the proportion is an errand then the defaulter does mingle Anostraca and is not a bosom.
sent1: the defaulter does mingle Anostraca and is a bosom. sent2: the proportion does not mingle purism if there exists something such that it does tarnish chemosynthesis. sent3: either the Trinidadian is a STM or it tarnishes chemosynthesis or both. sent4: if the defaulter does not mingle Anostraca then the Trinidadian tarnishes chemosynthesis and does not mingle Anostraca. sent5: the defaulter does bosom but it does not tarnish chemosynthesis if the Trinidadian does not tarnish chemosynthesis. sent6: the defaulter does mingle Anostraca but it is not a bosom if the proportion is not a bosom. sent7: if the Trinidadian does mingle Anostraca and is not a kind of a STM then it does not tarnish chemosynthesis. sent8: the defaulter mingles Anostraca if the proportion is a kind of an errand. sent9: that if the proportion is a kind of an errand then the defaulter does mingle Anostraca and is a bosom is not false. sent10: if something does mingle Anostraca and/or it does bosom then the defaulter is not an errand. sent11: if something is an errand that does not mingle purism it is not a bosom. sent12: the defaulter does mingle Anostraca. sent13: the defaulter mingles Anostraca and it bosoms if the proportion is not a bosoms. sent14: if something excludes electrochemistry but it is not a keelson then it does not tarnish botulism. sent15: the Trinidadian is not a kind of a STM if the fact that it does mingle purism and it is not an errand is correct. sent16: the Trinidadian is an errand or does tarnish chemosynthesis or both. sent17: if that the defaulter does not tarnish chemosynthesis is correct then the Trinidadian does bosom but it does not tarnish chemosynthesis. sent18: if the proportion is not a kind of a bosom then the defaulter mingles Anostraca. sent19: the defaulter is not an errand. sent20: the proportion is not an errand if it is both a STM and not a bosom.
sent3 -> int1: something is a STM or tarnishes chemosynthesis or both.; void -> assump1: Let's assume that the proportion is a kind of an errand.; sent11 -> int2: if the proportion is an errand but it does not mingle purism it is not a kind of a bosom.;
$hypothesis$ = if the proportion is an errand then the defaulter does mingle Anostraca and is not a bosom. ; $context$ = sent1: the defaulter does mingle Anostraca and is a bosom. sent2: the proportion does not mingle purism if there exists something such that it does tarnish chemosynthesis. sent3: either the Trinidadian is a STM or it tarnishes chemosynthesis or both. sent4: if the defaulter does not mingle Anostraca then the Trinidadian tarnishes chemosynthesis and does not mingle Anostraca. sent5: the defaulter does bosom but it does not tarnish chemosynthesis if the Trinidadian does not tarnish chemosynthesis. sent6: the defaulter does mingle Anostraca but it is not a bosom if the proportion is not a bosom. sent7: if the Trinidadian does mingle Anostraca and is not a kind of a STM then it does not tarnish chemosynthesis. sent8: the defaulter mingles Anostraca if the proportion is a kind of an errand. sent9: that if the proportion is a kind of an errand then the defaulter does mingle Anostraca and is a bosom is not false. sent10: if something does mingle Anostraca and/or it does bosom then the defaulter is not an errand. sent11: if something is an errand that does not mingle purism it is not a bosom. sent12: the defaulter does mingle Anostraca. sent13: the defaulter mingles Anostraca and it bosoms if the proportion is not a bosoms. sent14: if something excludes electrochemistry but it is not a keelson then it does not tarnish botulism. sent15: the Trinidadian is not a kind of a STM if the fact that it does mingle purism and it is not an errand is correct. sent16: the Trinidadian is an errand or does tarnish chemosynthesis or both. sent17: if that the defaulter does not tarnish chemosynthesis is correct then the Trinidadian does bosom but it does not tarnish chemosynthesis. sent18: if the proportion is not a kind of a bosom then the defaulter mingles Anostraca. sent19: the defaulter is not an errand. sent20: the proportion is not an errand if it is both a STM and not a bosom. ; $proof$ = 
sent3 -> int1: something is a STM or tarnishes chemosynthesis or both.; void -> assump1: Let's assume that the proportion is a kind of an errand.; sent11 -> int2: if the proportion is an errand but it does not mingle purism it is not a kind of a bosom.; __UNKNOWN__