The bald eagle likes the bear. The bear likes the cow. The cow is blue. The rabbit eats the bear. If something likes the cow then it is not round. If something is cold then it does not see the bald eagle.
The bear does not eat the bear.
@0: The bald eagle likes the bear.[(triple1)] The bear likes the cow.[(triple2)] The cow is blue.[(triple3)] The rabbit eats the bear.[(triple4)] @1: The bear is not round.[(((triple2) -> rule1))]