The bear visits the lion. The lion does not need the tiger. The rabbit visits the bear. The tiger is red. If something is nice then it needs the tiger. If something needs the tiger then the tiger chases the bear. If something chases the tiger then it is kind. If something is nice and red then it visits the lion. If the rabbit is big then the rabbit chases the tiger. If something is big then it visits the rabbit. If something needs the tiger then the tiger visits the bear. Red things are nice.
The tiger is not nice.
@0: The bear visits the lion.[(triple1)] The lion does not need the tiger.[(triple2)] The rabbit visits the bear.[(triple3)] The tiger is red.[(triple4)] @1: The tiger is nice.[(((triple4) -> rule8))] @2: The tiger needs the tiger.[(((((triple4) -> rule8)) -> rule1))] The tiger visits the lion.[(((((triple4) -> rule8) triple4) -> rule4))] @3: The tiger chases the bear.[(((((((triple4) -> rule8)) -> rule1)) -> rule2))] The tiger visits the bear.[(((((((triple4) -> rule8)) -> rule1)) -> rule7))]