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