The cow chases the rabbit. The cow is green. The cow is nice. The cow is red. The cow is not round. The cow is young. The cow needs the rabbit. The cow visits the rabbit. The rabbit chases the cow. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit needs the cow. The rabbit does not visit the cow. If someone needs the rabbit and they do not chase the cow then the cow does not chase the rabbit. If someone needs the cow then the cow visits the rabbit. If someone visits the cow and the cow chases the rabbit then the cow is green. If the rabbit visits the cow then the cow is red. If the cow needs the rabbit and the cow is nice then the rabbit needs the cow. If the rabbit does not need the cow then the rabbit is green.
The rabbit does not need the rabbit.
@0: The cow chases the rabbit.[(triple1)] The cow is green.[(triple2)] The cow is nice.[(triple3)] The cow is not round.[(triple5)] The cow is red.[(triple4)] The cow is young.[(triple6)] The cow needs the rabbit.[(triple7)] The cow visits the rabbit.[(triple8 OR ((triple15) -> rule2) OR ((((triple7 triple3) -> rule5)) -> rule2))] The rabbit chases the cow.[(triple9)] The rabbit does not visit the cow.[(triple16)] The rabbit is green.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is red.[(triple12)] The rabbit is round.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the cow.[(triple15 OR ((triple7 triple3) -> rule5))]