the pyrogallol is capitalist but it is not a cradle.
sent1: there exists something such that it is a Hesperus and it is geophytic. sent2: the skirret does cradle and it does accept. sent3: if that something is a footed and/or it is not a kind of a Zealot does not hold then it is a vesiculation. sent4: the pyrogallol is a kind of a capitalist. sent5: the pyrogallol is a kind of a whole if there exists something such that it is not a Hesperus. sent6: something is not a kind of a whole and/or it is not a cradle if it is a kind of a Zealot. sent7: the fact that the sourdine is not a vesiculation hold. sent8: the sourdine is not a kind of a footed. sent9: if the sourdine is not sarcolemmic then it is not a footed. sent10: the fact that something either does foot or is not a Zealot or both is not true if it is non-sarcolemmic. sent11: if something is not whole and/or it is not a cradle the carrageen is not sarcolemmic. sent12: if there is something such that the fact that it is a Hesperus and it is geophytic is not right the pyrogallol is a whole. sent13: that there is something such that that it is a kind of a Hesperus that is geophytic is false is not false. sent14: if something is not sarcolemmic it is not a footed.
sent13 & sent12 -> int1: the pyrogallol is a whole.; void -> assump1: Let's assume that the pyrogallol does cradle.; int1 & assump1 -> int2: the pyrogallol is both a cradle and whole.; sent10 -> int3: that either the sourdine is a footed or it is not a Zealot or both is incorrect if it is not sarcolemmic.; sent3 -> int4: if that the sourdine does foot and/or it is not a Zealot does not hold then it is a vesiculation.;
the carrageen is not sarcolemmic.
sent6 -> int5: either the pyrogallol is not a kind of a whole or it is not a cradle or both if it is a Zealot.;
$hypothesis$ = the pyrogallol is capitalist but it is not a cradle. ; $context$ = sent1: there exists something such that it is a Hesperus and it is geophytic. sent2: the skirret does cradle and it does accept. sent3: if that something is a footed and/or it is not a kind of a Zealot does not hold then it is a vesiculation. sent4: the pyrogallol is a kind of a capitalist. sent5: the pyrogallol is a kind of a whole if there exists something such that it is not a Hesperus. sent6: something is not a kind of a whole and/or it is not a cradle if it is a kind of a Zealot. sent7: the fact that the sourdine is not a vesiculation hold. sent8: the sourdine is not a kind of a footed. sent9: if the sourdine is not sarcolemmic then it is not a footed. sent10: the fact that something either does foot or is not a Zealot or both is not true if it is non-sarcolemmic. sent11: if something is not whole and/or it is not a cradle the carrageen is not sarcolemmic. sent12: if there is something such that the fact that it is a Hesperus and it is geophytic is not right the pyrogallol is a whole. sent13: that there is something such that that it is a kind of a Hesperus that is geophytic is false is not false. sent14: if something is not sarcolemmic it is not a footed. ; $proof$ = 
sent13 & sent12 -> int1: the pyrogallol is a whole.; void -> assump1: Let's assume that the pyrogallol does cradle.; int1 & assump1 -> int2: the pyrogallol is both a cradle and whole.; sent10 -> int3: that either the sourdine is a footed or it is not a Zealot or both is incorrect if it is not sarcolemmic.; sent3 -> int4: if that the sourdine does foot and/or it is not a Zealot does not hold then it is a vesiculation.; __UNKNOWN__