The bald eagle is cold. The cow likes the bald eagle. The dog likes the bald eagle. If something likes the bald eagle then it chases the cow. If something likes the dog then the dog is not rough. All young things are cold. If the dog is not red then the dog does not like the bald eagle. If the dog is not rough and the dog does not eat the cow then the dog does not chase the cow. If something chases the cow then the cow is round. If something is round then it eats the dog. If something likes the cow then it eats the dog.
The bald eagle does not eat the dog.
@0: The bald eagle is cold.[(triple1)] The cow likes the bald eagle.[(triple2)] The dog likes the bald eagle.[(triple3)] @1: The cow chases the cow.[(((triple2) -> rule1))] The dog chases the cow.[(((triple3) -> rule1))] @2: The cow is round.[(((((triple2) -> rule1)) -> rule6) OR ((((triple3) -> rule1)) -> rule6))] @3: The cow eats the dog.[(((((((triple2) -> rule1)) -> rule6)) -> rule7) OR ((((((triple3) -> rule1)) -> rule6)) -> rule7))]