the fundraiser is changeable but it is not antecedent.
sent1: if the fact that the goggle-eye is a Bernard is true it is not a kind of a talk and/or it is not noncellular. sent2: either the fundraiser is not changeable or it is a saprobe or both. sent3: the bogy dilapidates fundraiser but it is not gregarious. sent4: if the fact that the leatherwood is a closeness is right then it is not myeloid. sent5: if something is not a Didelphidae that the leatherwood is a saprobe and is not non-myeloid is false. sent6: something is a saprobe and is not myeloid if it is a closeness. sent7: if something is not a Didelphidae that the leatherwood is a saprobe and not myeloid is false. sent8: something is a kind of an antecedent if it is a closeness that is not a Bernard. sent9: the fact that something is changeable but it is not an antecedent is not true if it is not a Bernard. sent10: the fundraiser is not unchangeable but non-antecedent if the goggle-eye is not a Bernard. sent11: if the bogy dilapidates fundraiser but it is not gregarious the fact that it is not a kind of a Didelphidae is not false. sent12: if either something is not a kind of a talk or it is cellular or both the leatherwood is a kind of a closeness. sent13: the fundraiser is not a kind of an antecedent.
void -> assump1: Let's assume that the goggle-eye is a Bernard.; sent1 & assump1 -> int1: either the goggle-eye does not talk or it is cellular or both.; int1 -> int2: there is something such that it is not a talk or it is cellular or both.; int2 & sent12 -> int3: the leatherwood is a closeness.; sent6 -> int4: that the leatherwood is both a saprobe and not myeloid hold if it is a closeness.; int3 & int4 -> int5: the leatherwood is both a saprobe and not myeloid.; sent11 & sent3 -> int6: the bogy is not a kind of a Didelphidae.; int6 -> int7: there exists something such that it is not a Didelphidae.; int7 & sent7 -> int8: the fact that the leatherwood is both a saprobe and non-myeloid does not hold.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the goggle-eye is not a kind of a Bernard.; int10 & sent10 -> hypothesis;
the fact that the fundraiser is changeable and not an antecedent is not correct.
sent9 -> int11: the fact that the fundraiser is not unchangeable but non-antecedent is not true if it is not a kind of a Bernard.;
$hypothesis$ = the fundraiser is changeable but it is not antecedent. ; $context$ = sent1: if the fact that the goggle-eye is a Bernard is true it is not a kind of a talk and/or it is not noncellular. sent2: either the fundraiser is not changeable or it is a saprobe or both. sent3: the bogy dilapidates fundraiser but it is not gregarious. sent4: if the fact that the leatherwood is a closeness is right then it is not myeloid. sent5: if something is not a Didelphidae that the leatherwood is a saprobe and is not non-myeloid is false. sent6: something is a saprobe and is not myeloid if it is a closeness. sent7: if something is not a Didelphidae that the leatherwood is a saprobe and not myeloid is false. sent8: something is a kind of an antecedent if it is a closeness that is not a Bernard. sent9: the fact that something is changeable but it is not an antecedent is not true if it is not a Bernard. sent10: the fundraiser is not unchangeable but non-antecedent if the goggle-eye is not a Bernard. sent11: if the bogy dilapidates fundraiser but it is not gregarious the fact that it is not a kind of a Didelphidae is not false. sent12: if either something is not a kind of a talk or it is cellular or both the leatherwood is a kind of a closeness. sent13: the fundraiser is not a kind of an antecedent. ; $proof$ = 
void -> assump1: Let's assume that the goggle-eye is a Bernard.; sent1 & assump1 -> int1: either the goggle-eye does not talk or it is cellular or both.; int1 -> int2: there is something such that it is not a talk or it is cellular or both.; int2 & sent12 -> int3: the leatherwood is a closeness.; sent6 -> int4: that the leatherwood is both a saprobe and not myeloid hold if it is a closeness.; int3 & int4 -> int5: the leatherwood is both a saprobe and not myeloid.; sent11 & sent3 -> int6: the bogy is not a kind of a Didelphidae.; int6 -> int7: there exists something such that it is not a Didelphidae.; int7 & sent7 -> int8: the fact that the leatherwood is both a saprobe and non-myeloid does not hold.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the goggle-eye is not a kind of a Bernard.; int10 & sent10 -> hypothesis; __PROVED__