The bald eagle is green. The bald eagle is nice. The bald eagle likes the squirrel. The bear visits the dog. The dog is red. The dog likes the squirrel. The dog does not see the squirrel. The squirrel likes the bear. The squirrel sees the bald eagle. The squirrel visits the dog. If the dog visits the squirrel and the squirrel is kind then the dog is not rough. If someone likes the dog then the dog is rough. If someone sees the bald eagle then the bald eagle sees the dog. If someone visits the bald eagle then the bald eagle likes the dog. If someone likes the squirrel then the squirrel is rough. If someone is rough then they like the dog.
The squirrel is not rough.
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bear visits the dog.[(triple4)] The dog does not see the squirrel.[(triple7)] The dog is red.[(triple5)] The dog likes the squirrel.[(triple6)] The squirrel likes the bear.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The bald eagle sees the dog.[(((triple9) -> rule3))] The squirrel is rough.[(((triple3) -> rule5) OR ((triple6) -> rule5))] @2: The squirrel likes the dog.[(((((triple3) -> rule5)) -> rule6) OR ((((triple6) -> rule5)) -> rule6))] @3: The dog is rough.[(((((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((((triple6) -> rule5)) -> rule6)) -> rule2))] @4: The dog likes the dog.[(((((((((triple3) -> rule5)) -> rule6)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule5)) -> rule6)) -> rule2)) -> rule6))]