The dog chases the tiger. The dog is cold. The dog is green. The dog is kind. The dog is red. The dog needs the tiger. The dog sees the tiger. The tiger chases the dog. The tiger is cold. The tiger is kind. The tiger needs the dog. The tiger sees the dog. If something is green then it is cold. If something chases the tiger then the tiger chases the dog. If something needs the dog then it sees the tiger.
The tiger needs the tiger.
@0: The dog chases the tiger.[(triple1)] The dog is cold.[(triple2 OR ((triple3) -> rule1))] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is red.[(triple5)] The dog needs the tiger.[(triple6)] The dog sees the tiger.[(triple7)] The tiger chases the dog.[(triple8 OR ((triple1) -> rule2))] The tiger is cold.[(triple9)] The tiger is kind.[(triple10)] The tiger needs the dog.[(triple11)] The tiger sees the dog.[(triple12)] @1: The tiger sees the tiger.[(((triple11) -> rule3))]