The bald eagle is kind. The cow is blue. The lion chases the mouse. The mouse chases the lion. If someone chases the mouse then the mouse is not rough. If someone sees the mouse then they chase the cow. If someone is kind then they are cold. If someone chases the lion and they do not see the mouse then they are not kind. If someone is cold then they like the lion. If someone likes the lion then the lion chases the cow.
The lion does not chase the mouse.
@0: The bald eagle is kind.[(triple1)] The cow is blue.[(triple2)] The lion chases the mouse.[(triple3)] The mouse chases the lion.[(triple4)] @1: The bald eagle is cold.[(((triple1) -> rule3))] The mouse is not rough.[(((triple3) -> rule1))] @2: The bald eagle likes the lion.[(((((triple1) -> rule3)) -> rule5))] @3: The lion chases the cow.[(((((((triple1) -> rule3)) -> rule5)) -> rule6))]