The lion needs the tiger. The tiger needs the lion. If someone chases the lion then the lion is rough. If someone is kind and they need the lion then the lion likes the tiger. If someone likes the lion and they chase the tiger then the lion does not like the tiger. If someone needs the tiger then the tiger is kind. If the lion chases the tiger and the tiger chases the lion then the lion is kind. If someone is kind then they chase the lion. If someone is kind then they are not rough. If the lion is nice then the lion needs the tiger.
The lion is kind.
@0: The lion needs the tiger.[(triple1)] The tiger needs the lion.[(triple2)] @1: The tiger is kind.[(((triple1) -> rule4))] @2: The lion likes the tiger.[(((((triple1) -> rule4) triple2) -> rule2))] The tiger chases the lion.[(((((triple1) -> rule4)) -> rule6))] The tiger is not rough.[(((((triple1) -> rule4)) -> rule7))] @3: The lion is rough.[(((((((triple1) -> rule4)) -> rule6)) -> rule1))]