The cow chases the lion. The cow chases the tiger. The cow is blue. The cow is not red. The cow likes the lion. The lion does not chase the cow. The lion is not kind. The lion is nice. The tiger likes the lion. The tiger visits the cow. If someone is nice then they visit the cow. If someone chases the lion then they chase the tiger. If someone visits the tiger and the tiger chases the lion then the lion chases the tiger. If someone is kind and they chase the tiger then the tiger is blue. If someone chases the tiger and the tiger does not visit the cow then the tiger chases the cow. If someone is blue and they chase the cow then they visit the lion.
The tiger does not chase the cow.
@0: The cow chases the lion.[(triple1)] The cow chases the tiger.[(triple2 OR ((triple1) -> rule2))] The cow is blue.[(triple3)] The cow is not red.[(triple4)] The cow likes the lion.[(triple5)] The lion does not chase the cow.[(triple6)] The lion is nice.[(triple8)] The lion is not kind.[(triple7)] The tiger likes the lion.[(triple9)] The tiger visits the cow.[(triple10)] @1: The lion visits the cow.[(((triple8) -> rule1))]