The bald eagle sees the lion. The lion visits the tiger. The tiger sees the bald eagle. If something visits the tiger then the tiger is red. If the lion sees the tiger then the tiger likes the bald eagle. If something visits the lion then it is rough. If something sees the tiger then it is round. If something is red and it sees the tiger then it sees the lion. If something sees the bald eagle then it sees the tiger. Round things are cold. If the bald eagle does not see the lion then the lion visits the bald eagle.
The tiger is not round.
@0: The bald eagle sees the lion.[(triple1)] The lion visits the tiger.[(triple2)] The tiger sees the bald eagle.[(triple3)] @1: The tiger is red.[(((triple2) -> rule1))] The tiger sees the tiger.[(((triple3) -> rule6))] @2: The tiger is round.[(((((triple3) -> rule6)) -> rule4))] The tiger sees the lion.[(((((triple2) -> rule1) ((triple3) -> rule6)) -> rule5))] @3: The tiger is cold.[(((((((triple3) -> rule6)) -> rule4)) -> rule7))]