The lion is round. The tiger is blue. If the tiger is red then the tiger eats the lion. If something eats the tiger then the tiger is blue. If something chases the lion then the lion is not red. If something is blue then it visits the tiger. If something visits the tiger then the tiger chases the lion. If the lion is blue and the lion visits the tiger then the tiger visits the lion. If something is cold and not blue then it chases the tiger. If something chases the tiger and it is not cold then it does not eat the lion.
The tiger is not round.
@0: The lion is round.[(triple1)] The tiger is blue.[(triple2)] @1: The tiger visits the tiger.[(((triple2) -> rule4))] @2: The tiger chases the lion.[(((((triple2) -> rule4)) -> rule5))] @3: The lion is not red.[(((((((triple2) -> rule4)) -> rule5)) -> rule3))]