the calender is a kind of a first.
sent1: if that the cooper is a kind of a tetrode and does not attorn is not right the calender is not a kind of a first. sent2: if there exists something such that that it is untraceable and arundinaceous is not correct the calender is a first. sent3: the fact that the cooper is a Mongol and it is a Polynemidae is false if the hominy does not attorn. sent4: there is something such that that it is autocatalytic and does segregate sunrise is wrong. sent5: something is not a chaffinch or it is not nonexistent or both if it dadoes Baedeker. sent6: the fact that the hominy does not attorn is true if there is something such that that it is not a kind of a tetrode and is not a first is not true. sent7: the fact that the hominy is untraceable and it is a first is wrong. sent8: there is something such that it is a kind of untraceable thing that is arundinaceous. sent9: that the harrier does not dado Baedeker is right if it is acidic. sent10: the fact that the cooper does not attorn is not wrong. sent11: something is not non-first and it does attorn. sent12: the calender is a kind of a first if something is not arundinaceous. sent13: if the cooper does not attorn the fact that the hominy is not traceable and it is arundinaceous does not hold. sent14: there is something such that that it is a first and arundinaceous is not true.
sent13 & sent10 -> int1: the fact that that the hominy is untraceable and is arundinaceous is not true is true.; int1 -> int2: there is something such that the fact that it is untraceable and is arundinaceous is wrong.; int2 & sent2 -> hypothesis;
the calender is non-first.
$hypothesis$ = the calender is a kind of a first. ; $context$ = sent1: if that the cooper is a kind of a tetrode and does not attorn is not right the calender is not a kind of a first. sent2: if there exists something such that that it is untraceable and arundinaceous is not correct the calender is a first. sent3: the fact that the cooper is a Mongol and it is a Polynemidae is false if the hominy does not attorn. sent4: there is something such that that it is autocatalytic and does segregate sunrise is wrong. sent5: something is not a chaffinch or it is not nonexistent or both if it dadoes Baedeker. sent6: the fact that the hominy does not attorn is true if there is something such that that it is not a kind of a tetrode and is not a first is not true. sent7: the fact that the hominy is untraceable and it is a first is wrong. sent8: there is something such that it is a kind of untraceable thing that is arundinaceous. sent9: that the harrier does not dado Baedeker is right if it is acidic. sent10: the fact that the cooper does not attorn is not wrong. sent11: something is not non-first and it does attorn. sent12: the calender is a kind of a first if something is not arundinaceous. sent13: if the cooper does not attorn the fact that the hominy is not traceable and it is arundinaceous does not hold. sent14: there is something such that that it is a first and arundinaceous is not true. ; $proof$ = 
sent13 & sent10 -> int1: the fact that that the hominy is untraceable and is arundinaceous is not true is true.; int1 -> int2: there is something such that the fact that it is untraceable and is arundinaceous is wrong.; int2 & sent2 -> hypothesis; __PROVED__