The bear chases the lion. The dog chases the bear. The lion is big. If something is kind and it chases the lion then it chases the dog. If something sees the bear then it is round. If something chases the lion then the lion sees the bear. If something is round then it chases the bear. If something is kind and it likes the bear then it is red. If something chases the lion and the lion chases the bear then it likes the lion.
The lion sees the lion.
@0: The bear chases the lion.[(triple1)] The dog chases the bear.[(triple2)] The lion is big.[(triple3)] @1: The lion sees the bear.[(((triple1) -> rule3))] @2: The lion is round.[(((((triple1) -> rule3)) -> rule2))] @3: The lion chases the bear.[(((((((triple1) -> rule3)) -> rule2)) -> rule4))] @4: The bear likes the lion.[(((triple1 ((((((triple1) -> rule3)) -> rule2)) -> rule4)) -> rule6))]