The dog chases the tiger. The dog is blue. The dog is cold. The dog is green. The dog is kind. The dog is red. The dog needs the tiger. The dog visits the tiger. The tiger chases the dog. The tiger is cold. The tiger needs the dog. The tiger visits the dog. If someone chases the dog then they are green. If someone visits the dog then they chase the dog.
The dog does not chase the dog.
@0: The dog chases the tiger.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is red.[(triple6)] The dog needs the tiger.[(triple7)] The dog visits the tiger.[(triple8)] The tiger chases the dog.[(triple9 OR ((triple12) -> rule2))] The tiger is cold.[(triple10)] The tiger needs the dog.[(triple11)] The tiger visits the dog.[(triple12)] @1: The tiger is green.[(((triple9) -> rule1) OR ((((triple12) -> rule2)) -> rule1))]