The dog sees the lion. The lion sees the dog. If someone sees the lion and the lion chases the dog then the lion is nice. If someone is blue and they chase the dog then the dog chases the lion. If someone is nice then they eat the dog. If someone is young and they eat the lion then they are red. If the lion sees the dog and the dog sees the lion then the dog is nice. If someone eats the dog then the dog is young. If someone is cold then they eat the lion. If someone eats the lion and the lion eats the dog then the dog eats the lion.
The dog sees the dog.
@0: The dog sees the lion.[(triple1)] The lion sees the dog.[(triple2)] @1: The dog is nice.[(((triple2 triple1) -> rule5))] @2: The dog eats the dog.[(((((triple2 triple1) -> rule5)) -> rule3))] @3: The dog is young.[(((((((triple2 triple1) -> rule5)) -> rule3)) -> rule6))]