The bald eagle is kind. The bald eagle likes the cow. The cow is blue. The cow is kind. The cow is not red. The mouse is cold. The mouse is green. If something is blue then it visits the mouse. If the mouse is blue then the mouse does not chase the bald eagle. If something chases the cow then the cow does not like the bald eagle. If something likes the bald eagle then the bald eagle is red. If something visits the mouse then it likes the bald eagle. If something is green then it does not like the bald eagle. If something visits the mouse then the mouse does not visit the cow. If something is cold and it likes the mouse then the mouse is cold.
The mouse does not visit the mouse.
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the cow.[(triple2)] The cow is blue.[(triple3)] The cow is kind.[(triple4)] The cow is not red.[(triple5)] The mouse is cold.[(triple6)] The mouse is green.[(triple7)] @1: The cow visits the mouse.[(((triple3) -> rule1))] The mouse does not like the bald eagle.[(((triple7) -> rule6))] @2: The cow likes the bald eagle.[(((((triple3) -> rule1)) -> rule5))] The mouse does not visit the cow.[(((((triple3) -> rule1)) -> rule7))] @3: The bald eagle is red.[(((((((triple3) -> rule1)) -> rule5)) -> rule4))]