the tartar is not a Bose.
sent1: if something is not a kind of a sectarian the fact that it coats rigger and it is not a pilgrimage is incorrect. sent2: the tartar is not a Bose if that the cybercafe coats rigger but it is not a pilgrimage is not true. sent3: that something coats rigger and is a pilgrimage is wrong if it is not sectarian. sent4: if there exists something such that the fact that it is not a sectarian is not incorrect then the cybercafe is not sectarian. sent5: the tartar is not a Bose if the cybercafe is a pilgrimage. sent6: the cybercafe is not sectarian if there exists something such that that it is a sectarian and it is a kind of a Alcott is not right. sent7: there is something such that the fact that it is a sectarian and it is a Alcott does not hold. sent8: if the membrane is a Alcott then that the tartar is not a kind of a sectarian and it is not a Bose is incorrect. sent9: that the tartar does coat rigger but it is not a Bose is not true. sent10: that something is a pilgrimage and it coats rigger is false if it is not a kind of a Bose. sent11: the membrane is a Alcott if the cypress is harmful. sent12: the fact that the tartar is a kind of a Bose and coats rigger is not true. sent13: the cybercafe is not a Bose if there is something such that it is not sectarian. sent14: if that something is both not sectarian and not a Bose is not right it is a Bose. sent15: the fact that the Creek is a kind of a Cimicidae and it reddens Beveridge is incorrect. sent16: the fact that the digestion is a playhouse and does coat rigger is incorrect.
sent1 -> int1: if the cybercafe is not a kind of a sectarian the fact that it coats rigger and is not a pilgrimage is not correct.; sent7 & sent6 -> int2: the cybercafe is not sectarian.; int1 & int2 -> int3: that the cybercafe does coat rigger but it is not a pilgrimage is wrong.; int3 & sent2 -> hypothesis;
the tartar is a kind of a Bose.
sent14 -> int4: if that the tartar is nonsectarian and is not a kind of a Bose is wrong then it is a kind of a Bose.;
$hypothesis$ = the tartar is not a Bose. ; $context$ = sent1: if something is not a kind of a sectarian the fact that it coats rigger and it is not a pilgrimage is incorrect. sent2: the tartar is not a Bose if that the cybercafe coats rigger but it is not a pilgrimage is not true. sent3: that something coats rigger and is a pilgrimage is wrong if it is not sectarian. sent4: if there exists something such that the fact that it is not a sectarian is not incorrect then the cybercafe is not sectarian. sent5: the tartar is not a Bose if the cybercafe is a pilgrimage. sent6: the cybercafe is not sectarian if there exists something such that that it is a sectarian and it is a kind of a Alcott is not right. sent7: there is something such that the fact that it is a sectarian and it is a Alcott does not hold. sent8: if the membrane is a Alcott then that the tartar is not a kind of a sectarian and it is not a Bose is incorrect. sent9: that the tartar does coat rigger but it is not a Bose is not true. sent10: that something is a pilgrimage and it coats rigger is false if it is not a kind of a Bose. sent11: the membrane is a Alcott if the cypress is harmful. sent12: the fact that the tartar is a kind of a Bose and coats rigger is not true. sent13: the cybercafe is not a Bose if there is something such that it is not sectarian. sent14: if that something is both not sectarian and not a Bose is not right it is a Bose. sent15: the fact that the Creek is a kind of a Cimicidae and it reddens Beveridge is incorrect. sent16: the fact that the digestion is a playhouse and does coat rigger is incorrect. ; $proof$ = 
sent1 -> int1: if the cybercafe is not a kind of a sectarian the fact that it coats rigger and is not a pilgrimage is not correct.; sent7 & sent6 -> int2: the cybercafe is not sectarian.; int1 & int2 -> int3: that the cybercafe does coat rigger but it is not a pilgrimage is wrong.; int3 & sent2 -> hypothesis; __PROVED__