the cosmetic is an age and is a kind of a recorded.
sent1: the concoction is a kind of a dysplasia if the undergraduate is a kind of a drag but it does not parallel. sent2: the tablecloth is not nonspherical. sent3: if the trey is not a dysplasia and it is not apiarian the concoction is not a dysplasia. sent4: the cosmetic is a kind of a recorded if there exists something such that it does not demonstrate and is a lint. sent5: something demonstrates and is a lint. sent6: the wirer is not nonspherical if there is something such that it does not condole Cynewulf. sent7: there exists something such that it condoles Cynewulf. sent8: the undergraduate does not parallel. sent9: there exists something such that it does not demonstrate and is a lint. sent10: the cosmetic is a kind of an age if the fact that the tablecloth is nonspherical and/or it does not condole sequence is not right. sent11: if that the undergraduate does drag but it is not a parallel is wrong then that it does not condole Cynewulf is right. sent12: the trey is not a dysplasia and it is not apiarian. sent13: the fact that the undergraduate is a kind of a drag and is parallel is wrong.
void -> assump1: Let's assume that the undergraduate is a kind of a drag but it is not a kind of a parallel.; sent1 & assump1 -> int1: the concoction is a kind of a dysplasia.; sent3 & sent12 -> int2: the concoction is not a dysplasia.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the undergraduate is a kind of a drag that does not parallel is wrong.; int4 & sent11 -> int5: the undergraduate does not condole Cynewulf.; int5 -> int6: there exists something such that it does not condole Cynewulf.; int6 & sent6 -> int7: that the wirer is not nonspherical is not false.; sent9 & sent4 -> int8: that the cosmetic records is not incorrect.;
$hypothesis$ = the cosmetic is an age and is a kind of a recorded. ; $context$ = sent1: the concoction is a kind of a dysplasia if the undergraduate is a kind of a drag but it does not parallel. sent2: the tablecloth is not nonspherical. sent3: if the trey is not a dysplasia and it is not apiarian the concoction is not a dysplasia. sent4: the cosmetic is a kind of a recorded if there exists something such that it does not demonstrate and is a lint. sent5: something demonstrates and is a lint. sent6: the wirer is not nonspherical if there is something such that it does not condole Cynewulf. sent7: there exists something such that it condoles Cynewulf. sent8: the undergraduate does not parallel. sent9: there exists something such that it does not demonstrate and is a lint. sent10: the cosmetic is a kind of an age if the fact that the tablecloth is nonspherical and/or it does not condole sequence is not right. sent11: if that the undergraduate does drag but it is not a parallel is wrong then that it does not condole Cynewulf is right. sent12: the trey is not a dysplasia and it is not apiarian. sent13: the fact that the undergraduate is a kind of a drag and is parallel is wrong. ; $proof$ = 
void -> assump1: Let's assume that the undergraduate is a kind of a drag but it is not a kind of a parallel.; sent1 & assump1 -> int1: the concoction is a kind of a dysplasia.; sent3 & sent12 -> int2: the concoction is not a dysplasia.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the undergraduate is a kind of a drag that does not parallel is wrong.; int4 & sent11 -> int5: the undergraduate does not condole Cynewulf.; int5 -> int6: there exists something such that it does not condole Cynewulf.; int6 & sent6 -> int7: that the wirer is not nonspherical is not false.; sent9 & sent4 -> int8: that the cosmetic records is not incorrect.; __UNKNOWN__