The lion eats the tiger. The tiger needs the lion. The tiger visits the lion. If something needs the tiger and the tiger needs the lion then the tiger is round. Blue things are round. If something is kind then it needs the tiger. If the lion eats the tiger then the tiger needs the lion. If the tiger needs the lion and the tiger eats the lion then the tiger is blue. If something needs the lion then the lion is kind.
The tiger visits the lion.
@0: The lion eats the tiger.[(triple1)] The tiger needs the lion.[(triple2 OR ((triple1) -> rule4))] The tiger visits the lion.[(triple3)] @1: The lion is kind.[(((triple2) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] @2: The lion needs the tiger.[(((((triple2) -> rule6)) -> rule3) OR ((((((triple1) -> rule4)) -> rule6)) -> rule3))] @3: The tiger is round.[(((((((triple2) -> rule6)) -> rule3) triple2) -> rule1) OR ((((((triple2) -> rule6)) -> rule3) ((triple1) -> rule4)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule6)) -> rule3) triple2) -> rule1) OR ((((((((triple1) -> rule4)) -> rule6)) -> rule3) ((triple1) -> rule4)) -> rule1))]