The lion chases the tiger. The tiger chases the lion. The tiger is round. If the lion visits the tiger and the lion chases the tiger then the tiger does not visit the lion. If something chases the tiger then the tiger visits the lion. If something chases the tiger and the tiger likes the lion then the tiger chases the lion. If something likes the lion and the lion likes the tiger then the lion chases the tiger. All cold things are blue. If the tiger chases the lion then the lion does not like the tiger.
The lion chases the lion.
@0: The lion chases the tiger.[(triple1)] The tiger chases the lion.[(triple2)] The tiger is round.[(triple3)] @1: The lion does not like the tiger.[(((triple2) -> rule6))] The tiger visits the lion.[(((triple1) -> rule2))]