The bald eagle chases the dog. The bald eagle sees the dog. The bald eagle does not see the squirrel. The dog chases the bald eagle. The dog chases the rabbit. The dog is cold. The dog sees the rabbit. The rabbit is kind. The squirrel chases the rabbit. The squirrel sees the dog. If something visits the squirrel then the squirrel is cold. If something is kind and it does not visit the rabbit then the rabbit sees the squirrel. If the dog chases the rabbit then the rabbit does not chase the dog. If something is cold then it visits the squirrel. If something sees the squirrel and it sees the rabbit then the rabbit chases the bald eagle. If something sees the dog then the dog does not visit the bald eagle.
The dog sees the rabbit.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle does not see the squirrel.[(triple3)] The bald eagle sees the dog.[(triple2)] The dog chases the bald eagle.[(triple4)] The dog chases the rabbit.[(triple5)] The dog is cold.[(triple6)] The dog sees the rabbit.[(triple7)] The rabbit is kind.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel sees the dog.[(triple10)] @1: The dog does not visit the bald eagle.[(((triple10) -> rule6) OR ((triple2) -> rule6))] The dog visits the squirrel.[(((triple6) -> rule4))] The rabbit does not chase the dog.[(((triple5) -> rule3))] @2: The squirrel is cold.[(((((triple6) -> rule4)) -> rule1))] @3: The squirrel visits the squirrel.[(((((((triple6) -> rule4)) -> rule1)) -> rule4))]