there exists something such that if it is a kind of a Capreolus and it is a plasm the fact that it does not urticate ring hold.
sent1: the pediatrician is a Baroque and it does desexualize weekday. sent2: there is something such that if it is a Capreolus and it is a plasm it does urticate ring. sent3: the pediatrician is not a Hexagrammidae if it is prolix a kudzu. sent4: there is something such that if it is a carbonara and it is a kind of a selvage it broaches. sent5: the demon is a fricandeau if the kirtle is a fricandeau. sent6: if the fact that something is a fricandeau is right it is both catachrestic and non-uterine. sent7: if there is something such that that it is a milliequivalent and it is not a fricandeau is not right then the kirtle is a fricandeau. sent8: the pediatrician is a kind of a kudzu. sent9: something is an estrogen if it is a Capreolus. sent10: there exists something such that the fact that it is a toast and not animalistic is not right. sent11: the demon is a Capreolus if there exists something such that that it is a kudzu and it is a kind of a plasm is not correct. sent12: if there exists something such that it does not urticate ring that the pediatrician is a kudzu and it is a plasm is false. sent13: there is something such that that it is a milliequivalent and it is not a kind of a fricandeau does not hold. sent14: something does not spend if it is a kind of a tocsin that is a kind of a Molnar.
void -> assump1: Let's assume that the pediatrician is a Capreolus and a plasm.; assump1 -> int1: the pediatrician is a plasm.; int1 & sent8 -> int2: the pediatrician is a plasm and it is a kudzu.;
that the demon is catachrestic and it is an estrogen is not false.
sent6 -> int3: the demon is catachrestic but it is not uterine if it is a kind of a fricandeau.; sent13 & sent7 -> int4: the kirtle is a fricandeau.; sent5 & int4 -> int5: the demon is a fricandeau.; int3 & int5 -> int6: the demon is both catachrestic and not uterine.; int6 -> int7: the demon is catachrestic.; sent9 -> int8: if the demon is a Capreolus it is an estrogen.;
$hypothesis$ = there exists something such that if it is a kind of a Capreolus and it is a plasm the fact that it does not urticate ring hold. ; $context$ = sent1: the pediatrician is a Baroque and it does desexualize weekday. sent2: there is something such that if it is a Capreolus and it is a plasm it does urticate ring. sent3: the pediatrician is not a Hexagrammidae if it is prolix a kudzu. sent4: there is something such that if it is a carbonara and it is a kind of a selvage it broaches. sent5: the demon is a fricandeau if the kirtle is a fricandeau. sent6: if the fact that something is a fricandeau is right it is both catachrestic and non-uterine. sent7: if there is something such that that it is a milliequivalent and it is not a fricandeau is not right then the kirtle is a fricandeau. sent8: the pediatrician is a kind of a kudzu. sent9: something is an estrogen if it is a Capreolus. sent10: there exists something such that the fact that it is a toast and not animalistic is not right. sent11: the demon is a Capreolus if there exists something such that that it is a kudzu and it is a kind of a plasm is not correct. sent12: if there exists something such that it does not urticate ring that the pediatrician is a kudzu and it is a plasm is false. sent13: there is something such that that it is a milliequivalent and it is not a kind of a fricandeau does not hold. sent14: something does not spend if it is a kind of a tocsin that is a kind of a Molnar. ; $proof$ = 
void -> assump1: Let's assume that the pediatrician is a Capreolus and a plasm.; assump1 -> int1: the pediatrician is a plasm.; int1 & sent8 -> int2: the pediatrician is a plasm and it is a kudzu.; __UNKNOWN__