The bald eagle is red. The bear chases the lion. The cat likes the bear. The lion is round. If someone is red then they visit the lion. If the lion is green and the lion visits the cat then the lion likes the bald eagle.
The lion does not like the bald eagle.
@0: The bald eagle is red.[(triple1)] The bear chases the lion.[(triple2)] The cat likes the bear.[(triple3)] The lion is round.[(triple4)] @1: The bald eagle visits the lion.[(((triple1) -> rule1))]