The bald eagle needs the dog. The bald eagle needs the tiger. The bald eagle visits the squirrel. The dog is nice. The dog is rough. The dog is young. The squirrel likes the tiger. The squirrel needs the dog. The squirrel visits the bald eagle. The tiger is nice. The tiger likes the dog. The tiger likes the squirrel. If something visits the squirrel and the squirrel likes the dog then it is nice. If something visits the bald eagle then it is rough. If something needs the tiger and it visits the squirrel then it is green. If something is young and it needs the bald eagle then it likes the dog. If something needs the dog then it likes the bald eagle. If the squirrel needs the dog then the squirrel is green. If the squirrel likes the dog then the squirrel is rough. If something is rough then it likes the dog.
The dog visits the dog.
@0: The bald eagle needs the dog.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The dog is nice.[(triple4)] The dog is rough.[(triple5)] The dog is young.[(triple6)] The squirrel likes the tiger.[(triple7)] The squirrel needs the dog.[(triple8)] The squirrel visits the bald eagle.[(triple9)] The tiger is nice.[(triple10)] The tiger likes the dog.[(triple11)] The tiger likes the squirrel.[(triple12)] @1: The bald eagle is green.[(((triple2 triple3) -> rule3))] The bald eagle likes the bald eagle.[(((triple1) -> rule5))] The dog likes the dog.[(((triple5) -> rule8))] The squirrel is green.[(((triple8) -> rule6))] The squirrel is rough.[(((triple9) -> rule2))] The squirrel likes the bald eagle.[(((triple8) -> rule5))] @2: The squirrel likes the dog.[(((((triple9) -> rule2)) -> rule8))] @3: The bald eagle is nice.[(((triple3 ((((triple9) -> rule2)) -> rule8)) -> rule1))]