The bald eagle is kind. The cow likes the bald eagle. The cow visits the bald eagle. If something eats the cow and it likes the cow then the cow likes the bald eagle. If something is green then it visits the cow. If something is kind then it likes the bald eagle. If the bald eagle eats the cow then the bald eagle likes the cow. If something eats the bald eagle and the bald eagle is rough then it visits the cow. If something visits the bald eagle and it eats the cow then the cow is round. If something likes the bald eagle then it is nice. If the bald eagle is green then the bald eagle likes the cow.
The cow is not round.
@0: The bald eagle is kind.[(triple1)] The cow likes the bald eagle.[(triple2)] The cow visits the bald eagle.[(triple3)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule3))] The cow is nice.[(((triple2) -> rule7))] @2: The bald eagle is nice.[(((((triple1) -> rule3)) -> rule7))]