The bald eagle is blue. The cat sees the mouse. The lion likes the cat. The mouse likes the bald eagle. If someone likes the cat then the cat sees the bald eagle. If someone is red then they chase the cat. If the mouse sees the cat and the mouse likes the bald eagle then the cat likes the lion. If someone likes the cat and the cat sees the bald eagle then they are red. If someone chases the bald eagle then they see the bald eagle. If someone is kind and they do not chase the cat then the cat chases the lion.
The bald eagle is not red.
@0: The bald eagle is blue.[(triple1)] The cat sees the mouse.[(triple2)] The lion likes the cat.[(triple3)] The mouse likes the bald eagle.[(triple4)] @1: The cat sees the bald eagle.[(((triple3) -> rule1))] @2: The lion is red.[(((triple3 ((triple3) -> rule1)) -> rule4))] @3: The lion chases the cat.[(((((triple3 ((triple3) -> rule1)) -> rule4)) -> rule2))]