The cow chases the rabbit. The cow eats the rabbit. The cow is cold. The cow is rough. The cow needs the dog. The cow needs the rabbit. The dog chases the cow. The dog chases the rabbit. The dog eats the cow. The dog eats the rabbit. The dog is young. The dog needs the cow. The dog needs the rabbit. The rabbit eats the cow. The rabbit is cold. The rabbit needs the dog. If the cow chases the rabbit and the cow is cold then the rabbit is rough. If someone is cold and rough then they eat the rabbit. If the dog is rough then the dog eats the rabbit.
The rabbit chases the dog.
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2 OR ((triple3 triple4) -> rule2))] The cow is cold.[(triple3)] The cow is rough.[(triple4)] The cow needs the dog.[(triple5)] The cow needs the rabbit.[(triple6)] The dog chases the cow.[(triple7)] The dog chases the rabbit.[(triple8)] The dog eats the cow.[(triple9)] The dog eats the rabbit.[(triple10)] The dog is young.[(triple11)] The dog needs the cow.[(triple12)] The dog needs the rabbit.[(triple13)] The rabbit eats the cow.[(triple14)] The rabbit is cold.[(triple15)] The rabbit needs the dog.[(triple16)] @1: The rabbit is rough.[(((triple1 triple3) -> rule1))] @2: The rabbit eats the rabbit.[(((triple15 ((triple1 triple3) -> rule1)) -> rule2))]