The bald eagle visits the dog. The dog is young. The lion is round. The squirrel visits the lion. If something is cold then it needs the bald eagle. If something is red and cold then it does not need the bald eagle. If the bald eagle visits the lion then the lion needs the bald eagle. If something needs the bald eagle and it needs the lion then the lion needs the bald eagle. If something visits the squirrel then the squirrel is red. If something likes the squirrel and it is not round then the squirrel needs the lion. If something needs the dog then the dog is not red. If something visits the lion then it likes the dog.
The lion is round.
@0: The bald eagle visits the dog.[(triple1)] The dog is young.[(triple2)] The lion is round.[(triple3)] The squirrel visits the lion.[(triple4)] @1: The squirrel likes the dog.[(((triple4) -> rule8))]