The bald eagle chases the squirrel. The dog is not young. The lion visits the squirrel. The squirrel is nice. If something is big and not young then it does not chase the squirrel. If something likes the lion then it does not like the squirrel. If something chases the squirrel and the squirrel does not visit the lion then the squirrel likes the bald eagle. If something visits the bald eagle and the bald eagle likes the dog then it is cold. If something visits the squirrel and it does not chase the dog then the squirrel does not visit the bald eagle. If something chases the squirrel then it is not nice.
The lion does not visit the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The dog is not young.[(triple2)] The lion visits the squirrel.[(triple3)] The squirrel is nice.[(triple4)] @1: The bald eagle is not nice.[(((triple1) -> rule6))]