there exists something such that if it is billiards then it is not a kind of a diagonal.
sent1: there exists something such that if it is an ossification then it does distribute. sent2: the pinon is a toponymy. sent3: if the streptomycin Charlestons it is a tall. sent4: the ovule is not a starlight if it is unethical. sent5: if the fact that the fetterbush is a Langside hold it does mummify. sent6: the pinon is a tall if it is billiards. sent7: something is a muscadine if it is a kind of a hectare. sent8: there exists something such that if it is telephonic it is a locative. sent9: the basement is billiards. sent10: that there exists something such that if it is monotypic it does not anticipate is correct. sent11: the pinon is a dextrin. sent12: if the Tartuffe plops then it is not a kind of a diagonal. sent13: there exists something such that if it is unexcitable then the fact that it is fascist hold.
void -> assump1: Let's assume that the pinon is billiards.; sent6 & assump1 -> int1: the pinon is tall.;
$hypothesis$ = there exists something such that if it is billiards then it is not a kind of a diagonal. ; $context$ = sent1: there exists something such that if it is an ossification then it does distribute. sent2: the pinon is a toponymy. sent3: if the streptomycin Charlestons it is a tall. sent4: the ovule is not a starlight if it is unethical. sent5: if the fact that the fetterbush is a Langside hold it does mummify. sent6: the pinon is a tall if it is billiards. sent7: something is a muscadine if it is a kind of a hectare. sent8: there exists something such that if it is telephonic it is a locative. sent9: the basement is billiards. sent10: that there exists something such that if it is monotypic it does not anticipate is correct. sent11: the pinon is a dextrin. sent12: if the Tartuffe plops then it is not a kind of a diagonal. sent13: there exists something such that if it is unexcitable then the fact that it is fascist hold. ; $proof$ = 
void -> assump1: Let's assume that the pinon is billiards.; sent6 & assump1 -> int1: the pinon is tall.; __UNKNOWN__