The bald eagle is round. The cow likes the bald eagle. The cow likes the rabbit. The cow needs the bald eagle. The cow needs the lion. The lion visits the rabbit. The rabbit is blue. If something is blue then it needs the lion. If the bald eagle needs the lion and the bald eagle is kind then the lion visits the rabbit. If something is cold and it needs the cow then it is round. If something likes the rabbit and the rabbit needs the lion then the rabbit visits the lion. If something likes the rabbit then the rabbit likes the bald eagle. If the rabbit is green then the rabbit visits the bald eagle.
The cow does not need the lion.
@0: The bald eagle is round.[(triple1)] The cow likes the bald eagle.[(triple2)] The cow likes the rabbit.[(triple3)] The cow needs the bald eagle.[(triple4)] The cow needs the lion.[(triple5)] The lion visits the rabbit.[(triple6)] The rabbit is blue.[(triple7)] @1: The rabbit likes the bald eagle.[(((triple3) -> rule5))] The rabbit needs the lion.[(((triple7) -> rule1))] @2: The rabbit visits the lion.[(((triple3 ((triple7) -> rule1)) -> rule4))]