the celery summarizes.
sent1: the thyroglobulin does not chomp cine-camera if the bilge is not wasteful. sent2: if something is not a kind of a magic it does chomp cine-camera and it does summarize. sent3: if something does chomp cine-camera then it does not summarize and it does chomp Cherbourg. sent4: that something does chomp Cherbourg and does not tarnish relation is not true if it does chomp cine-camera. sent5: the celery is a magic. sent6: if the rung does chomp Cherbourg that the bilge is wasteful and is not a kind of a Tucson is not true. sent7: if the bauxite is not a purification that it is a autacoid and does not repent rung does not hold. sent8: The Cherbourg chomps rung. sent9: if the thyroglobulin does not chomp cine-camera that the celery is a kind of a magic is true. sent10: the fact that the fact that something repents rung hold if that it is a kind of a autacoid and does not repents rung is not right is right. sent11: if that the bilge is wasteful but it is not a kind of a Tucson is not true then the thyroglobulin does not chomp cine-camera. sent12: the celery is a magic but it does not chomp cine-camera if the thyroglobulin does not chomp cine-camera. sent13: something summarizes if it is a kind of a magic and does not chomp cine-camera. sent14: that something is not a barrage but it is a magic does not hold if it does repent rung. sent15: the rung is not a kind of a barrage if the bilge does not repent rung. sent16: if the rung is not a barrage then the celery chomps cine-camera and it is a kind of a magic. sent17: the celery is not wasteful. sent18: that the bauxite is not a magic is not incorrect if that it is not a barrage and is a magic is false. sent19: the bilge does not chomp Cherbourg if the fact that the rung is wasteful but it is not a Tucson is not right.
sent13 -> int1: the celery summarizes if it is a magic and it does not chomp cine-camera.;
that the fact that the bauxite chomps Cherbourg and does not tarnish relation is wrong is not incorrect.
sent4 -> int2: the fact that the bauxite does chomp Cherbourg but it does not tarnish relation does not hold if it does chomp cine-camera.; sent2 -> int3: the bauxite chomps cine-camera and it summarizes if it is not a kind of a magic.; sent14 -> int4: that the bauxite is not a barrage but it is a magic is false if the fact that it does repent rung is true.; sent10 -> int5: if the fact that that the bauxite is a kind of a autacoid but it does not repent rung is not wrong is not correct it repent rung.;
$hypothesis$ = the celery summarizes. ; $context$ = sent1: the thyroglobulin does not chomp cine-camera if the bilge is not wasteful. sent2: if something is not a kind of a magic it does chomp cine-camera and it does summarize. sent3: if something does chomp cine-camera then it does not summarize and it does chomp Cherbourg. sent4: that something does chomp Cherbourg and does not tarnish relation is not true if it does chomp cine-camera. sent5: the celery is a magic. sent6: if the rung does chomp Cherbourg that the bilge is wasteful and is not a kind of a Tucson is not true. sent7: if the bauxite is not a purification that it is a autacoid and does not repent rung does not hold. sent8: The Cherbourg chomps rung. sent9: if the thyroglobulin does not chomp cine-camera that the celery is a kind of a magic is true. sent10: the fact that the fact that something repents rung hold if that it is a kind of a autacoid and does not repents rung is not right is right. sent11: if that the bilge is wasteful but it is not a kind of a Tucson is not true then the thyroglobulin does not chomp cine-camera. sent12: the celery is a magic but it does not chomp cine-camera if the thyroglobulin does not chomp cine-camera. sent13: something summarizes if it is a kind of a magic and does not chomp cine-camera. sent14: that something is not a barrage but it is a magic does not hold if it does repent rung. sent15: the rung is not a kind of a barrage if the bilge does not repent rung. sent16: if the rung is not a barrage then the celery chomps cine-camera and it is a kind of a magic. sent17: the celery is not wasteful. sent18: that the bauxite is not a magic is not incorrect if that it is not a barrage and is a magic is false. sent19: the bilge does not chomp Cherbourg if the fact that the rung is wasteful but it is not a Tucson is not right. ; $proof$ = 
sent13 -> int1: the celery summarizes if it is a magic and it does not chomp cine-camera.; __UNKNOWN__