The cow is kind. The cow is nice. The cow is red. The cow is not young. The cow needs the rabbit. The cow does not visit the rabbit. The rabbit does not chase the cow. The rabbit is red. The rabbit is not round. The rabbit visits the cow. If the rabbit does not need the cow then the rabbit is round. If someone is young and they do not need the cow then they chase the cow. If the rabbit chases the cow and the cow is young then the cow does not need the rabbit. If someone visits the rabbit and the rabbit visits the cow then the cow is kind. If someone visits the rabbit and they are not round then they visit the cow. If someone is kind then they chase the rabbit.
The rabbit is young.
@0: The cow does not visit the rabbit.[(triple6)] The cow is kind.[(triple1)] The cow is nice.[(triple2)] The cow is not young.[(triple4)] The cow is red.[(triple3)] The cow needs the rabbit.[(triple5)] The rabbit does not chase the cow.[(triple7)] The rabbit is not round.[(triple9)] The rabbit is red.[(triple8)] The rabbit visits the cow.[(triple10)] @1: The cow chases the rabbit.[(((triple1) -> rule6))]