The cow chases the rabbit. The cow is blue. The cow is cold. The cow is kind. The cow is young. The cow likes the rabbit. The cow visits the rabbit. The rabbit chases the cow. The rabbit is cold. The rabbit visits the cow. If someone chases the rabbit then they are red. If someone is young then they chase the cow.
The rabbit is not red.
@0: The cow chases the rabbit.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is young.[(triple5)] The cow likes the rabbit.[(triple6)] The cow visits the rabbit.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit is cold.[(triple9)] The rabbit visits the cow.[(triple10)] @1: The cow chases the cow.[(((triple5) -> rule2))] The cow is red.[(((triple1) -> rule1))]