the openbill ends.
sent1: the cephalochordate forces. sent2: if that the cephalochordate does festoon phytochemistry is correct then the fact that it strands arrowsmith hold. sent3: the openbill is both not an end and not a force if the cephalochordate strands arrowsmith. sent4: the bosom is a radical if it is a newcomer. sent5: the cephalochordate ends. sent6: if the cephalochordate is a force the openbill does not strand arrowsmith and does not festoon phytochemistry. sent7: the openbill does not festoon phytochemistry and is not lineal. sent8: the cephalochordate is a force if it is zodiacal. sent9: The phytochemistry does festoon cephalochordate. sent10: the openbill festoons phytochemistry if it is a force. sent11: the cephalochordate does festoon phytochemistry. sent12: the openbill does not festoon phytochemistry and does not strand arrowsmith if the cephalochordate is a force. sent13: the crevice does not subtilize arched and does not strand arrowsmith. sent14: the openbill ends if it festoons phytochemistry. sent15: the cephalochordate is not an adverbial. sent16: the openbill does not strand arrowsmith if the cephalochordate does force. sent17: the fact that the cephalochordate does end is not false if it festoons phytochemistry.
sent2 & sent11 -> int1: the cephalochordate strands arrowsmith.; sent3 & int1 -> int2: the openbill does not end and it is not a force.; int2 -> hypothesis;
$hypothesis$ = the openbill ends. ; $context$ = sent1: the cephalochordate forces. sent2: if that the cephalochordate does festoon phytochemistry is correct then the fact that it strands arrowsmith hold. sent3: the openbill is both not an end and not a force if the cephalochordate strands arrowsmith. sent4: the bosom is a radical if it is a newcomer. sent5: the cephalochordate ends. sent6: if the cephalochordate is a force the openbill does not strand arrowsmith and does not festoon phytochemistry. sent7: the openbill does not festoon phytochemistry and is not lineal. sent8: the cephalochordate is a force if it is zodiacal. sent9: The phytochemistry does festoon cephalochordate. sent10: the openbill festoons phytochemistry if it is a force. sent11: the cephalochordate does festoon phytochemistry. sent12: the openbill does not festoon phytochemistry and does not strand arrowsmith if the cephalochordate is a force. sent13: the crevice does not subtilize arched and does not strand arrowsmith. sent14: the openbill ends if it festoons phytochemistry. sent15: the cephalochordate is not an adverbial. sent16: the openbill does not strand arrowsmith if the cephalochordate does force. sent17: the fact that the cephalochordate does end is not false if it festoons phytochemistry. ; $proof$ = 
sent2 & sent11 -> int1: the cephalochordate strands arrowsmith.; sent3 & int1 -> int2: the openbill does not end and it is not a force.; int2 -> hypothesis; __DISPROVED__