The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is rough. The cat chases the lion. The cat eats the bald eagle. The cat sees the bald eagle. The lion chases the bald eagle. The lion chases the cat. The lion chases the mouse. The lion is kind. The mouse chases the bald eagle. The mouse chases the lion. If someone is blue then they see the bald eagle.
The bald eagle does not see the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is rough.[(triple3)] The cat chases the lion.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat sees the bald eagle.[(triple6)] The lion chases the bald eagle.[(triple7)] The lion chases the cat.[(triple8)] The lion chases the mouse.[(triple9)] The lion is kind.[(triple10)] The mouse chases the bald eagle.[(triple11)] The mouse chases the lion.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple2) -> rule1))]