The dog chases the tiger. The dog is kind. The dog is rough. The dog likes the tiger. The dog visits the lion. The dog visits the tiger. The lion chases the dog. The lion chases the tiger. The lion is cold. The lion is green. The lion is red. The tiger chases the lion. The tiger is green. The tiger likes the dog. The tiger visits the dog. The tiger visits the lion. If something likes the lion then it likes the dog. If something likes the dog and it visits the dog then the dog likes the lion.
The dog is red.
@0: The dog chases the tiger.[(triple1)] The dog is kind.[(triple2)] The dog is rough.[(triple3)] The dog likes the tiger.[(triple4)] The dog visits the lion.[(triple5)] The dog visits the tiger.[(triple6)] The lion chases the dog.[(triple7)] The lion chases the tiger.[(triple8)] The lion is cold.[(triple9)] The lion is green.[(triple10)] The lion is red.[(triple11)] The tiger chases the lion.[(triple12)] The tiger is green.[(triple13)] The tiger likes the dog.[(triple14)] The tiger visits the dog.[(triple15)] The tiger visits the lion.[(triple16)] @1: The dog likes the lion.[(((triple14 triple15) -> rule2))] @2: The dog likes the dog.[(((((triple14 triple15) -> rule2)) -> rule1))]