The dog is round. The dog likes the lion. The dog sees the lion. The dog sees the tiger. The lion sees the tiger. The tiger is kind. The tiger likes the dog. If someone is round then they see the tiger. If someone likes the tiger and the tiger chases the dog then the tiger sees the dog. If the lion likes the tiger then the lion chases the tiger.
The tiger is kind.
@0: The dog is round.[(triple1)] The dog likes the lion.[(triple2)] The dog sees the lion.[(triple3)] The dog sees the tiger.[(triple4 OR ((triple1) -> rule1))] The lion sees the tiger.[(triple5)] The tiger is kind.[(triple6)] The tiger likes the dog.[(triple7)]