the abator is not a barter.
sent1: there is something such that either it is a kind of a Girard or it is a dichondra or both. sent2: that something is trapezoidal a Muscat is not correct if that it is not beneficent is not wrong. sent3: the songwriter is not a dichondra. sent4: there is something such that it is a barter and/or is a Girard. sent5: that the abator is a Girard is true if the Perry is a barter. sent6: if the fact that something is a Muscat and is practical is false it is not a cross-link. sent7: if a barter is not a kind of a Girard then it is not a dichondra. sent8: if there is something such that that it is trapezoidal and is a Muscat is not true the Perry is not a Muscat. sent9: if there exists something such that it is a Girard then the Perry does not barter. sent10: the Perry is not a kind of a dichondra. sent11: the Perry is not a Girard if there exists something such that it is not a kind of a Girard and/or is a kind of a dichondra. sent12: the abator does barter if the Perry is a Girard but it is not a kind of a dichondra. sent13: that the abator is a Muscat and is practical does not hold if there is something such that it is not a Muscat. sent14: the Perry is not a Girard if something is a dichondra. sent15: if something does cross-link then it is a Girard and not a dichondra. sent16: that something is a cross-link is not incorrect if the fact that it is not practical and it is not a kind of a Muscat is not right. sent17: if the abator is a barter the Perry is a Girard. sent18: there exists something such that it is not a kind of a Girard and/or it is a dichondra. sent19: the fact that everything is not beneficent is true.
void -> assump1: Let's assume that the abator is a kind of a barter.; sent17 & assump1 -> int1: the Perry is a Girard.; sent18 & sent11 -> int2: the fact that the Perry is not a Girard hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the abator is a barter.
sent15 -> int4: if the Perry does cross-link then it is a Girard and is not a dichondra.; sent16 -> int5: if the fact that the fact that the Perry is a kind of non-practical thing that is not a Muscat is not false does not hold it does cross-link.;
$hypothesis$ = the abator is not a barter. ; $context$ = sent1: there is something such that either it is a kind of a Girard or it is a dichondra or both. sent2: that something is trapezoidal a Muscat is not correct if that it is not beneficent is not wrong. sent3: the songwriter is not a dichondra. sent4: there is something such that it is a barter and/or is a Girard. sent5: that the abator is a Girard is true if the Perry is a barter. sent6: if the fact that something is a Muscat and is practical is false it is not a cross-link. sent7: if a barter is not a kind of a Girard then it is not a dichondra. sent8: if there is something such that that it is trapezoidal and is a Muscat is not true the Perry is not a Muscat. sent9: if there exists something such that it is a Girard then the Perry does not barter. sent10: the Perry is not a kind of a dichondra. sent11: the Perry is not a Girard if there exists something such that it is not a kind of a Girard and/or is a kind of a dichondra. sent12: the abator does barter if the Perry is a Girard but it is not a kind of a dichondra. sent13: that the abator is a Muscat and is practical does not hold if there is something such that it is not a Muscat. sent14: the Perry is not a Girard if something is a dichondra. sent15: if something does cross-link then it is a Girard and not a dichondra. sent16: that something is a cross-link is not incorrect if the fact that it is not practical and it is not a kind of a Muscat is not right. sent17: if the abator is a barter the Perry is a Girard. sent18: there exists something such that it is not a kind of a Girard and/or it is a dichondra. sent19: the fact that everything is not beneficent is true. ; $proof$ = 
void -> assump1: Let's assume that the abator is a kind of a barter.; sent17 & assump1 -> int1: the Perry is a Girard.; sent18 & sent11 -> int2: the fact that the Perry is not a Girard hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__