The dog visits the lion. The lion is green. The tiger chases the lion. If someone is cold then they visit the tiger. If the tiger chases the dog then the dog chases the lion. If someone visits the lion then the lion sees the tiger. If someone is big then they chase the dog. If someone sees the dog then the dog is big. If someone chases the lion then they see the dog. If the lion is kind and the lion visits the dog then the lion sees the dog. If someone sees the dog and they do not visit the tiger then the tiger is not nice.
The dog visits the lion.
@0: The dog visits the lion.[(triple1)] The lion is green.[(triple2)] The tiger chases the lion.[(triple3)] @1: The lion sees the tiger.[(((triple1) -> rule3))] The tiger sees the dog.[(((triple3) -> rule6))] @2: The dog is big.[(((((triple3) -> rule6)) -> rule5))] @3: The dog chases the dog.[(((((((triple3) -> rule6)) -> rule5)) -> rule4))]