The dog sees the tiger. The lion eats the dog. The tiger is nice. If someone is kind then they need the tiger. If someone sees the tiger and they are nice then they eat the lion. If someone eats the tiger and they are nice then the tiger is kind. If someone eats the dog then they are kind. If someone is kind then they are green. If someone eats the lion then the lion is green.
The lion is green.
@0: The dog sees the tiger.[(triple1)] The lion eats the dog.[(triple2)] The tiger is nice.[(triple3)] @1: The lion is kind.[(((triple2) -> rule4))] @2: The lion is green.[(((((triple2) -> rule4)) -> rule5))] The lion needs the tiger.[(((((triple2) -> rule4)) -> rule1))]