The bald eagle likes the dog. The bald eagle sees the dog. The bear likes the dog. The dog is green. The dog sees the bald eagle. The dog sees the bear. The squirrel sees the bear. If someone is kind then they visit the bald eagle. If the dog is nice and the dog is cold then the dog sees the squirrel. If someone visits the bald eagle and they are kind then the bald eagle is green. If someone likes the bald eagle and the bald eagle is green then they like the dog. If someone is rough and they like the bear then they visit the bald eagle. Green people are kind. If someone visits the bald eagle then the bald eagle sees the dog. If the dog sees the squirrel and the squirrel is rough then the squirrel likes the bald eagle.
The dog is not kind.
@0: The bald eagle likes the dog.[(triple1)] The bald eagle sees the dog.[(triple2 OR ((((((triple4) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple4) -> rule6)) -> rule1) ((triple4) -> rule6)) -> rule3)) -> rule6)) -> rule1)) -> rule7))] The bear likes the dog.[(triple3)] The dog is green.[(triple4)] The dog sees the bald eagle.[(triple5)] The dog sees the bear.[(triple6)] The squirrel sees the bear.[(triple7)] @1: The dog is kind.[(((triple4) -> rule6))] @2: The dog visits the bald eagle.[(((((triple4) -> rule6)) -> rule1))] @3: The bald eagle is green.[(((((((triple4) -> rule6)) -> rule1) ((triple4) -> rule6)) -> rule3))] @4: The bald eagle is kind.[(((((((((triple4) -> rule6)) -> rule1) ((triple4) -> rule6)) -> rule3)) -> rule6))] @5: The bald eagle visits the bald eagle.[(((((((((((triple4) -> rule6)) -> rule1) ((triple4) -> rule6)) -> rule3)) -> rule6)) -> rule1))]