the tulle is a day.
sent1: if that the Lot is autogamous is correct then the NMR invests chilblained. sent2: there is something such that the fact that it is autogamous thing that does not invest chilblained is not right. sent3: if the walk-on does close the tulle is a day. sent4: if the NMR invests chilblained the Lot is autogamous. sent5: if the pile is not inalienable then it is a umpirage. sent6: if the pile is not close it is alienable and invests chilblained. sent7: if there exists something such that the fact that it is a kind of non-autogamous thing that does not invest chilblained does not hold then the Lot does invest chilblained. sent8: there exists something such that it is katabatic and it is an equinox. sent9: if the pile is a umpirage then that the walk-on closes is not false. sent10: something is a kind of non-autogamous thing that does not invest chilblained. sent11: the fact that the NMR is non-autogamous but it invests chilblained is not right. sent12: the Lot does not invest chilblained if there is something such that the fact that it is both katabatic and an equinox is incorrect. sent13: if the pile is not alienable the fact that it is not non-katabatic and it is an equinox is not correct. sent14: something is not a day if the fact that it either is not alienable or does not invest chilblained or both does not hold. sent15: that the tulle is a kind of a headmistress hold.
void -> assump1: Let's assume that the pile is not alienable.; sent13 & assump1 -> int1: that the pile is katabatic thing that is a kind of an equinox is not right.; int1 -> int2: there exists something such that that it is katabatic and is an equinox is not true.; int2 & sent12 -> int3: the Lot does not invest chilblained.;
that the audio is superjacent thing that is a kind of a umpirage does not hold.
$hypothesis$ = the tulle is a day. ; $context$ = sent1: if that the Lot is autogamous is correct then the NMR invests chilblained. sent2: there is something such that the fact that it is autogamous thing that does not invest chilblained is not right. sent3: if the walk-on does close the tulle is a day. sent4: if the NMR invests chilblained the Lot is autogamous. sent5: if the pile is not inalienable then it is a umpirage. sent6: if the pile is not close it is alienable and invests chilblained. sent7: if there exists something such that the fact that it is a kind of non-autogamous thing that does not invest chilblained does not hold then the Lot does invest chilblained. sent8: there exists something such that it is katabatic and it is an equinox. sent9: if the pile is a umpirage then that the walk-on closes is not false. sent10: something is a kind of non-autogamous thing that does not invest chilblained. sent11: the fact that the NMR is non-autogamous but it invests chilblained is not right. sent12: the Lot does not invest chilblained if there is something such that the fact that it is both katabatic and an equinox is incorrect. sent13: if the pile is not alienable the fact that it is not non-katabatic and it is an equinox is not correct. sent14: something is not a day if the fact that it either is not alienable or does not invest chilblained or both does not hold. sent15: that the tulle is a kind of a headmistress hold. ; $proof$ = 
void -> assump1: Let's assume that the pile is not alienable.; sent13 & assump1 -> int1: that the pile is katabatic thing that is a kind of an equinox is not right.; int1 -> int2: there exists something such that that it is katabatic and is an equinox is not true.; int2 & sent12 -> int3: the Lot does not invest chilblained.; __UNKNOWN__