The dog chases the lion. The dog is green. The dog is kind. The dog likes the lion. The dog likes the tiger. The dog needs the tiger. The lion is green. The lion likes the dog. The lion likes the tiger. The lion needs the dog. The lion needs the tiger. The tiger chases the dog. The tiger is red. The tiger likes the dog. The tiger needs the dog. If something is big then it likes the lion. If something likes the tiger and it likes the dog then the dog is red. If something likes the lion then it chases the lion.
The lion does not like the lion.
@0: The dog chases the lion.[(triple1 OR ((triple4) -> rule3))] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog likes the lion.[(triple4)] The dog likes the tiger.[(triple5)] The dog needs the tiger.[(triple6)] The lion is green.[(triple7)] The lion likes the dog.[(triple8)] The lion likes the tiger.[(triple9)] The lion needs the dog.[(triple10)] The lion needs the tiger.[(triple11)] The tiger chases the dog.[(triple12)] The tiger is red.[(triple13)] The tiger likes the dog.[(triple14)] The tiger needs the dog.[(triple15)] @1: The dog is red.[(((triple9 triple8) -> rule2))]