The cow chases the dog. The cow chases the rabbit. The cow is cold. The cow likes the dog. The cow likes the rabbit. The cow needs the dog. The dog chases the rabbit. The dog is not red. The dog is young. The dog likes the cow. The dog likes the rabbit. The dog needs the cow. The dog needs the rabbit. The rabbit chases the cow. The rabbit is kind. The rabbit is not young. If something likes the rabbit then the rabbit likes the dog. If something needs the cow then the cow is not kind. If something is round then it needs the rabbit. If something needs the dog then it chases the rabbit. If something chases the rabbit and it is round then it needs the cow. If the rabbit does not need the cow then the rabbit is kind.
The dog is not red.
@0: The cow chases the dog.[(triple1)] The cow chases the rabbit.[(triple2 OR ((triple6) -> rule4))] The cow is cold.[(triple3)] The cow likes the dog.[(triple4)] The cow likes the rabbit.[(triple5)] The cow needs the dog.[(triple6)] The dog chases the rabbit.[(triple7)] The dog is not red.[(triple8)] The dog is young.[(triple9)] The dog likes the cow.[(triple10)] The dog likes the rabbit.[(triple11)] The dog needs the cow.[(triple12)] The dog needs the rabbit.[(triple13)] The rabbit chases the cow.[(triple14)] The rabbit is kind.[(triple15)] The rabbit is not young.[(triple16)] @1: The cow is not kind.[(((triple12) -> rule2))] The rabbit likes the dog.[(((triple11) -> rule1) OR ((triple5) -> rule1))]