The bald eagle eats the cat. The cat likes the bald eagle. The squirrel is cold. If something needs the bald eagle then it is blue. If something likes the cat then it needs the cat. If something is rough then it eats the bald eagle. If something likes the cat then the cat likes the bald eagle. If something eats the squirrel and it eats the cat then it likes the squirrel. If something eats the cat then it likes the cat.
The cat likes the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The cat likes the bald eagle.[(triple2 OR ((((triple1) -> rule6)) -> rule4))] The squirrel is cold.[(triple3)] @1: The bald eagle likes the cat.[(((triple1) -> rule6))] @2: The bald eagle needs the cat.[(((((triple1) -> rule6)) -> rule2))]