if the modeler does not cocoon then the groundsheet is a cud.
sent1: if something is not a kind of a sorus then the fact that it is a kind of a cud and it is not undesirable is false. sent2: the fact that the landscaper is not non-open-source but it is not monocarboxylic is wrong if the rill naturalizes. sent3: the bast is monocarboxylic if there is something such that that it is open-source and it is not monocarboxylic is false. sent4: the groundsheet is not a cocoon if the modeler does not miscarry and/or it does not cocoon. sent5: the modeler does not miscarry and/or it is not a cocoon if something is not a cocoon. sent6: if something is not a cocoon and is undesirable then that the groundsheet is a cud is not incorrect. sent7: the rill naturalizes. sent8: the modeler miscarries if it is not an undesirable. sent9: if something is a kind of a corm and it is monocarboxylic it is not a sorus. sent10: if that something is a cud but it is not a kind of an undesirable is not right then it does not cocoon. sent11: either the bast miscarries or it is a corm or both.
void -> assump2: Let's assume that the modeler is not an undesirable.; sent8 & assump2 -> int1: the modeler miscarries.;
the groundsheet is not a cocoon.
sent10 -> int2: the bast is not a cocoon if the fact that it is both a cud and not undesirable is incorrect.; sent1 -> int3: if the bast is not a sorus then that it is a cud and it is not an undesirable is not right.; sent9 -> int4: the bast is not a sorus if it is a corm and it is monocarboxylic.; sent2 & sent7 -> int5: that the landscaper is open-source but it is not monocarboxylic does not hold.; int5 -> int6: there exists something such that the fact that it is open-source but not monocarboxylic does not hold.; int6 & sent3 -> int7: the bast is monocarboxylic.;
$hypothesis$ = if the modeler does not cocoon then the groundsheet is a cud. ; $context$ = sent1: if something is not a kind of a sorus then the fact that it is a kind of a cud and it is not undesirable is false. sent2: the fact that the landscaper is not non-open-source but it is not monocarboxylic is wrong if the rill naturalizes. sent3: the bast is monocarboxylic if there is something such that that it is open-source and it is not monocarboxylic is false. sent4: the groundsheet is not a cocoon if the modeler does not miscarry and/or it does not cocoon. sent5: the modeler does not miscarry and/or it is not a cocoon if something is not a cocoon. sent6: if something is not a cocoon and is undesirable then that the groundsheet is a cud is not incorrect. sent7: the rill naturalizes. sent8: the modeler miscarries if it is not an undesirable. sent9: if something is a kind of a corm and it is monocarboxylic it is not a sorus. sent10: if that something is a cud but it is not a kind of an undesirable is not right then it does not cocoon. sent11: either the bast miscarries or it is a corm or both. ; $proof$ = 
void -> assump2: Let's assume that the modeler is not an undesirable.; sent8 & assump2 -> int1: the modeler miscarries.; __UNKNOWN__