The lion is green. The lion is nice. The tiger is green. If someone needs the lion then the lion needs the tiger. If someone is nice and they eat the tiger then they chase the tiger. If someone needs the tiger then they eat the lion. If someone is green then they are nice. If someone is nice then they need the lion. Green people are kind.
The tiger chases the tiger.
@0: The lion is green.[(triple1)] The lion is nice.[(triple2 OR ((triple1) -> rule4))] The tiger is green.[(triple3)] @1: The lion is kind.[(((triple1) -> rule6))] The lion needs the lion.[(((triple2) -> rule5) OR ((((triple1) -> rule4)) -> rule5))] The tiger is kind.[(((triple3) -> rule6))] The tiger is nice.[(((triple3) -> rule4))] @2: The lion needs the tiger.[(((((triple2) -> rule5)) -> rule1) OR ((((((triple1) -> rule4)) -> rule5)) -> rule1) OR ((((((triple3) -> rule4)) -> rule5)) -> rule1))] The tiger needs the lion.[(((((triple3) -> rule4)) -> rule5))] @3: The lion eats the lion.[(((((((triple2) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple1) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule3))]