The bald eagle likes the rabbit. The bald eagle needs the dog. The cow is blue. The cow likes the bald eagle. The dog likes the bald eagle. The dog likes the rabbit. The dog sees the bald eagle. The dog sees the rabbit. The rabbit likes the bald eagle. The rabbit likes the cow. If the bald eagle likes the rabbit then the bald eagle sees the cow. If something needs the cow then it sees the rabbit. If something sees the cow then the cow needs the bald eagle. If something is cold then it likes the dog. If something sees the cow and the cow likes the rabbit then it is cold. If something needs the bald eagle and it likes the bald eagle then the bald eagle does not need the rabbit. If something is red and it does not need the dog then the dog sees the bald eagle. If something needs the cow and it does not need the dog then the cow likes the dog.
The dog does not see the bald eagle.
@0: The bald eagle likes the rabbit.[(triple1)] The bald eagle needs the dog.[(triple2)] The cow is blue.[(triple3)] The cow likes the bald eagle.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog likes the rabbit.[(triple6)] The dog sees the bald eagle.[(triple7)] The dog sees the rabbit.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The rabbit likes the cow.[(triple10)] @1: The bald eagle sees the cow.[(((triple1) -> rule1))] @2: The cow needs the bald eagle.[(((((triple1) -> rule1)) -> rule3))] @3: The bald eagle does not need the rabbit.[(((((((triple1) -> rule1)) -> rule3) triple4) -> rule6))]