The bald eagle is kind. The bald eagle likes the bear. The bald eagle sees the dog. The bald eagle visits the squirrel. The bear is red. The bear sees the dog. The bear sees the squirrel. The dog is cold. The dog is green. The dog is rough. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel likes the bear. The squirrel sees the bear. The squirrel visits the bald eagle. If someone visits the squirrel then they are rough. If the bald eagle sees the bear then the bald eagle visits the dog. If the bear sees the dog and the bear is kind then the bear likes the bald eagle.
The dog is not rough.
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The bear is red.[(triple5)] The bear sees the dog.[(triple6)] The bear sees the squirrel.[(triple7)] The dog is cold.[(triple8)] The dog is green.[(triple9)] The dog is rough.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is red.[(triple13)] The squirrel likes the bear.[(triple14)] The squirrel sees the bear.[(triple15)] The squirrel visits the bald eagle.[(triple16)] @1: The bald eagle is rough.[(((triple4) -> rule1))]