the sipunculid is not a hieratic.
sent1: the sipunculid does not exempt Coleoptera. sent2: the sipunculid is a kind of a AB. sent3: something that is not a quoit exempts Coleoptera. sent4: the overhang is a kind of a dead. sent5: the watch is not a doge. sent6: something is a wings. sent7: something does exempt Ionesco if it is not a dead. sent8: something is not a hieratic if it does not clean whitethorn and it exempts Ionesco. sent9: the fact that the apple is not a AB hold. sent10: something that is not a doge but cerebrovascular does not clean whitethorn. sent11: the sipunculid is not a doge and is cerebrovascular if it does not produce. sent12: if something is not a produce but it is a doge it is not a hieratic. sent13: something is a kind of a Titanosaurus and it does exempt dun. sent14: the sipunculid is non-dead if something that is a AB is an experience. sent15: the sipunculid does not produce.
sent7 -> int1: if the sipunculid is non-dead it does exempt Ionesco.; sent10 -> int2: that the sipunculid does not clean whitethorn is not false if it is not a kind of a doge and it is cerebrovascular.; sent11 & sent15 -> int3: the fact that the sipunculid is not a doge but cerebrovascular hold.; int2 & int3 -> int4: the sipunculid does not clean whitethorn.; sent8 -> int5: the sipunculid is not a kind of a hieratic if it does not clean whitethorn and it exempts Ionesco.;
$hypothesis$ = the sipunculid is not a hieratic. ; $context$ = sent1: the sipunculid does not exempt Coleoptera. sent2: the sipunculid is a kind of a AB. sent3: something that is not a quoit exempts Coleoptera. sent4: the overhang is a kind of a dead. sent5: the watch is not a doge. sent6: something is a wings. sent7: something does exempt Ionesco if it is not a dead. sent8: something is not a hieratic if it does not clean whitethorn and it exempts Ionesco. sent9: the fact that the apple is not a AB hold. sent10: something that is not a doge but cerebrovascular does not clean whitethorn. sent11: the sipunculid is not a doge and is cerebrovascular if it does not produce. sent12: if something is not a produce but it is a doge it is not a hieratic. sent13: something is a kind of a Titanosaurus and it does exempt dun. sent14: the sipunculid is non-dead if something that is a AB is an experience. sent15: the sipunculid does not produce. ; $proof$ = 
sent7 -> int1: if the sipunculid is non-dead it does exempt Ionesco.; sent10 -> int2: that the sipunculid does not clean whitethorn is not false if it is not a kind of a doge and it is cerebrovascular.; sent11 & sent15 -> int3: the fact that the sipunculid is not a doge but cerebrovascular hold.; int2 & int3 -> int4: the sipunculid does not clean whitethorn.; sent8 -> int5: the sipunculid is not a kind of a hieratic if it does not clean whitethorn and it exempts Ionesco.; __UNKNOWN__