The bear likes the lion. The lion is red. If something is round then it does not like the bear. If something likes the bear and it is young then it does not chase the lion. If something likes the lion then the lion eats the bear. If something eats the bear then it is round. If something likes the lion then the lion does not chase the bear. If the lion eats the bear and the lion does not chase the bear then the bear chases the lion.
The lion does not eat the bear.
@0: The bear likes the lion.[(triple1)] The lion is red.[(triple2)] @1: The lion does not chase the bear.[(((triple1) -> rule5))] The lion eats the bear.[(((triple1) -> rule3))] @2: The bear chases the lion.[(((((triple1) -> rule3) ((triple1) -> rule5)) -> rule6))] The lion is round.[(((((triple1) -> rule3)) -> rule4))] @3: The lion does not like the bear.[(((((((triple1) -> rule3)) -> rule4)) -> rule1))]