The cow chases the dog. The cow eats the dog. The cow is red. The cow is young. The cow sees the dog. The dog chases the cow. The dog is red. The dog is not rough. The tiger does not chase the cow. The tiger eats the dog. The tiger does not see the cow. The tiger sees the dog. If someone chases the dog then they are red.
The cow is not red.
@0: The cow chases the dog.[(triple1)] The cow eats the dog.[(triple2)] The cow is red.[(triple3 OR ((triple1) -> rule1))] The cow is young.[(triple4)] The cow sees the dog.[(triple5)] The dog chases the cow.[(triple6)] The dog is not rough.[(triple8)] The dog is red.[(triple7)] The tiger does not chase the cow.[(triple9)] The tiger does not see the cow.[(triple11)] The tiger eats the dog.[(triple10)] The tiger sees the dog.[(triple12)]