the crevasse is not sericultural.
sent1: there exists something such that the fact that it is not a bump and it is a kind of a kanzu is not correct. sent2: if there exists something such that that it is not a kind of a bump and is not a kanzu is wrong the styracosaur is a turning. sent3: the styracosaur is not campanulate. sent4: the crevasse bumps. sent5: if the styracosaur is a kanzu and does not bump then the samba is a kind of a kanzu. sent6: there is something such that that it is not a kind of a turning and it is not a bump is incorrect. sent7: there exists something such that that it bumps and it is not a kind of a kanzu is not right. sent8: there is something such that the fact that it is a bump and is not a turning is not correct. sent9: there exists something such that the fact that it is sericultural and it is not a bump is not right. sent10: if something is a kanzu then that the styracosaur is sericultural is not incorrect. sent11: if the styracosaur is a kind of a kanzu and it is a bump then the crevasse is not sericultural. sent12: if there exists something such that it is sericultural then the crevasse is a bump. sent13: the styracosaur is not sericultural if the crevasse bumps and it is a turning. sent14: the styracosaur does turn and is a bump. sent15: there is something such that the fact that it is non-sericultural and it is a kind of a bump is wrong. sent16: there exists something such that that it is not sericultural and it does not turn is not correct. sent17: there exists something such that the fact that it does not trip conspectus and it is not campanulate is not true. sent18: if there is something such that the fact that it does not trip conspectus and is non-campanulate is incorrect then that the styracosaur is a kanzu hold.
sent17 & sent18 -> int1: the styracosaur is a kanzu.; sent14 -> int2: the styracosaur is a bump.; int1 & int2 -> int3: the fact that the styracosaur is a kanzu and does bump is not wrong.; int3 & sent11 -> hypothesis;
the samba is a kanzu.
$hypothesis$ = the crevasse is not sericultural. ; $context$ = sent1: there exists something such that the fact that it is not a bump and it is a kind of a kanzu is not correct. sent2: if there exists something such that that it is not a kind of a bump and is not a kanzu is wrong the styracosaur is a turning. sent3: the styracosaur is not campanulate. sent4: the crevasse bumps. sent5: if the styracosaur is a kanzu and does not bump then the samba is a kind of a kanzu. sent6: there is something such that that it is not a kind of a turning and it is not a bump is incorrect. sent7: there exists something such that that it bumps and it is not a kind of a kanzu is not right. sent8: there is something such that the fact that it is a bump and is not a turning is not correct. sent9: there exists something such that the fact that it is sericultural and it is not a bump is not right. sent10: if something is a kanzu then that the styracosaur is sericultural is not incorrect. sent11: if the styracosaur is a kind of a kanzu and it is a bump then the crevasse is not sericultural. sent12: if there exists something such that it is sericultural then the crevasse is a bump. sent13: the styracosaur is not sericultural if the crevasse bumps and it is a turning. sent14: the styracosaur does turn and is a bump. sent15: there is something such that the fact that it is non-sericultural and it is a kind of a bump is wrong. sent16: there exists something such that that it is not sericultural and it does not turn is not correct. sent17: there exists something such that the fact that it does not trip conspectus and it is not campanulate is not true. sent18: if there is something such that the fact that it does not trip conspectus and is non-campanulate is incorrect then that the styracosaur is a kanzu hold. ; $proof$ = 
sent17 & sent18 -> int1: the styracosaur is a kanzu.; sent14 -> int2: the styracosaur is a bump.; int1 & int2 -> int3: the fact that the styracosaur is a kanzu and does bump is not wrong.; int3 & sent11 -> hypothesis; __PROVED__