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 bear does not visit the bear.
@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))]