the protection is a kind of a bitterness.
sent1: the chancel is a upholder or it does field ten-spot or both. sent2: the fact that the velociraptor is a librarianship and it is a upholder is not true. sent3: that the chancel is not three-wheel and does field ten-spot is not true. sent4: the cockspur is a autotelism if the fact that it is not sericultural is right. sent5: the fact that the cockspur is not three-wheel but it is sericultural is not true if it does not field fuse. sent6: the cockspur does not field fuse. sent7: that the Bushman does field fuse but it does not field ten-spot if that the Bushman is not a bitterness is true is not wrong. sent8: if there is something such that that it does not field ten-spot and it is a bitterness is wrong then the chancel is not a bitterness. sent9: that something does not field ten-spot but it is a bitterness is wrong if it is not a autotelism. sent10: the fact that the protection is a bitterness hold if the chancel is not a upholder. sent11: if the cockspur is not a bitterness that the protection is not a bitterness is not false. sent12: if that the velociraptor is a librarianship and it is a kind of a upholder is false it is not a kind of a autotelism. sent13: if the fact that the cockspur is not three-wheel but it is sericultural does not hold then it is a autotelism. sent14: the chancel is a upholder and/or it does field ten-spot if the cockspur does field ten-spot. sent15: if something that is not a librarianship is a kind of a upholder it is not a kind of a bitterness. sent16: the protection is a bitterness if the chancel is not a upholder and/or does field ten-spot. sent17: if the cockspur does field ten-spot the chancel is not a kind of a upholder and/or it does field ten-spot. sent18: The fuse does not field cockspur.
sent5 & sent6 -> int1: that the cockspur is both not three-wheel and sericultural is wrong.; int1 & sent13 -> int2: the cockspur is a autotelism.;
the Bushman is a autotelism.
sent15 -> int3: the Bushman is not a bitterness if it is both not a librarianship and a upholder.;
$hypothesis$ = the protection is a kind of a bitterness. ; $context$ = sent1: the chancel is a upholder or it does field ten-spot or both. sent2: the fact that the velociraptor is a librarianship and it is a upholder is not true. sent3: that the chancel is not three-wheel and does field ten-spot is not true. sent4: the cockspur is a autotelism if the fact that it is not sericultural is right. sent5: the fact that the cockspur is not three-wheel but it is sericultural is not true if it does not field fuse. sent6: the cockspur does not field fuse. sent7: that the Bushman does field fuse but it does not field ten-spot if that the Bushman is not a bitterness is true is not wrong. sent8: if there is something such that that it does not field ten-spot and it is a bitterness is wrong then the chancel is not a bitterness. sent9: that something does not field ten-spot but it is a bitterness is wrong if it is not a autotelism. sent10: the fact that the protection is a bitterness hold if the chancel is not a upholder. sent11: if the cockspur is not a bitterness that the protection is not a bitterness is not false. sent12: if that the velociraptor is a librarianship and it is a kind of a upholder is false it is not a kind of a autotelism. sent13: if the fact that the cockspur is not three-wheel but it is sericultural does not hold then it is a autotelism. sent14: the chancel is a upholder and/or it does field ten-spot if the cockspur does field ten-spot. sent15: if something that is not a librarianship is a kind of a upholder it is not a kind of a bitterness. sent16: the protection is a bitterness if the chancel is not a upholder and/or does field ten-spot. sent17: if the cockspur does field ten-spot the chancel is not a kind of a upholder and/or it does field ten-spot. sent18: The fuse does not field cockspur. ; $proof$ = 
sent5 & sent6 -> int1: that the cockspur is both not three-wheel and sericultural is wrong.; int1 & sent13 -> int2: the cockspur is a autotelism.; __UNKNOWN__