The bear eats the lion. The bear is round. The lion likes the bear. If the lion visits the bear then the lion is round. If something eats the lion and the lion likes the bear then the lion visits the bear. If the lion likes the bear and the bear visits the lion then the lion eats the bear. If something visits the bear and the bear likes the lion then the lion eats the bear. If something is cold then it likes the bear. Nice things are blue.
The lion is round.
@0: The bear eats the lion.[(triple1)] The bear is round.[(triple2)] The lion likes the bear.[(triple3)] @1: The lion visits the bear.[(((triple1 triple3) -> rule2))] @2: The lion is round.[(((((triple1 triple3) -> rule2)) -> rule1))]