The cow chases the rabbit. The cow eats the rabbit. The cow is round. The cow needs the rabbit. The rabbit chases the cow. The rabbit does not eat the cow. The rabbit is blue. The rabbit is not green. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit needs the cow. If something is blue then it is young. If something chases the cow and it is not young then it needs the rabbit.
The cow is not young.
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is round.[(triple3)] The cow needs the rabbit.[(triple4)] The rabbit chases the cow.[(triple5)] The rabbit does not eat the cow.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is not green.[(triple8)] The rabbit is red.[(triple9)] The rabbit is round.[(triple10)] The rabbit is young.[(triple11 OR ((triple7) -> rule1))] The rabbit needs the cow.[(triple12)]