the bioelectricity is not a horse if the briar does not dice and it does not overuse gamma-interferon.
sent1: the pied-a-terre does not dice. sent2: the briar is not a horse and does not dice. sent3: if the briar does not dice and is not a kind of a horse the bioelectricity does overuse gamma-interferon. sent4: if the bioelectricity does not dice and it does not overuse gamma-interferon the briar is a horse. sent5: that the bioelectricity is not eparchial is wrong. sent6: the porkholt does not overuse gamma-interferon. sent7: the briar does not dice and is not a kind of a horse. sent8: there is something such that it is not paroxysmal. sent9: the pythium is not seminal and it is not a vituperation. sent10: something does not overuse gamma-interferon but it is a kind of a horse. sent11: the bioelectricity does not dice. sent12: if something that does not dice is not a kind of a horse the bioelectricity overuses gamma-interferon. sent13: there exists something such that it is not a kind of a horse. sent14: that there are non-benzenoid things is not wrong. sent15: the briar does not horse if the bioelectricity does not overuse gamma-interferon and does not dice. sent16: if the bioelectricity does overuse gamma-interferon and does not dice then the briar is not a horse.
void -> assump1: Let's assume that the briar does not dice and does not overuse gamma-interferon.; assump1 -> int1: there exists something such that it does not dice and does not overuse gamma-interferon.;
$hypothesis$ = the bioelectricity is not a horse if the briar does not dice and it does not overuse gamma-interferon. ; $context$ = sent1: the pied-a-terre does not dice. sent2: the briar is not a horse and does not dice. sent3: if the briar does not dice and is not a kind of a horse the bioelectricity does overuse gamma-interferon. sent4: if the bioelectricity does not dice and it does not overuse gamma-interferon the briar is a horse. sent5: that the bioelectricity is not eparchial is wrong. sent6: the porkholt does not overuse gamma-interferon. sent7: the briar does not dice and is not a kind of a horse. sent8: there is something such that it is not paroxysmal. sent9: the pythium is not seminal and it is not a vituperation. sent10: something does not overuse gamma-interferon but it is a kind of a horse. sent11: the bioelectricity does not dice. sent12: if something that does not dice is not a kind of a horse the bioelectricity overuses gamma-interferon. sent13: there exists something such that it is not a kind of a horse. sent14: that there are non-benzenoid things is not wrong. sent15: the briar does not horse if the bioelectricity does not overuse gamma-interferon and does not dice. sent16: if the bioelectricity does overuse gamma-interferon and does not dice then the briar is not a horse. ; $proof$ = 
void -> assump1: Let's assume that the briar does not dice and does not overuse gamma-interferon.; assump1 -> int1: there exists something such that it does not dice and does not overuse gamma-interferon.; __UNKNOWN__