The cow is round. The cow does not need the tiger. The cow does not visit the squirrel. The rabbit eats the tiger. The rabbit is kind. The rabbit is round. The rabbit needs the cow. The rabbit needs the squirrel. The squirrel visits the tiger. The tiger is rough. The tiger needs the rabbit. The tiger visits the rabbit. If the rabbit visits the tiger and the tiger eats the squirrel then the rabbit is round. If someone visits the rabbit then they eat the rabbit. If someone needs the squirrel then they are kind. If the tiger does not need the cow then the tiger is kind. If someone eats the tiger then they do not eat the cow. If someone eats the tiger and they do not visit the squirrel then the squirrel is not kind. If someone needs the rabbit and the rabbit visits the squirrel then the squirrel needs the cow. If someone needs the rabbit and they are not round then the rabbit is blue.
The rabbit visits the cow.
@0: The cow does not need the tiger.[(triple2)] The cow does not visit the squirrel.[(triple3)] The cow is round.[(triple1)] The rabbit eats the tiger.[(triple4)] The rabbit is kind.[(triple5 OR ((triple8) -> rule3))] The rabbit is round.[(triple6)] The rabbit needs the cow.[(triple7)] The rabbit needs the squirrel.[(triple8)] The squirrel visits the tiger.[(triple9)] The tiger is rough.[(triple10)] The tiger needs the rabbit.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The rabbit does not eat the cow.[(((triple4) -> rule5))] The tiger eats the rabbit.[(((triple12) -> rule2))]