The bald eagle is green. The bald eagle visits the bear. The bald eagle visits the cow. The bear chases the squirrel. The bear likes the bald eagle. The bear likes the cow. The bear likes the squirrel. The bear visits the cow. The cow chases the bear. The cow is kind. The cow likes the bald eagle. The cow likes the bear. The cow visits the bear. The squirrel is green. The squirrel likes the bald eagle. The squirrel visits the bald eagle. If someone is young then they visit the squirrel. If someone chases the bear then they are red. If someone is green and they visit the squirrel then the squirrel is young. If someone visits the cow and they are round then the cow chases the bald eagle. If someone chases the bald eagle and the bald eagle chases the cow then they visit the cow. If the bear visits the squirrel then the bear likes the bald eagle. If someone visits the bear then they visit the squirrel. If someone visits the squirrel then the squirrel likes the bald eagle.
The squirrel likes the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle visits the bear.[(triple2)] The bald eagle visits the cow.[(triple3)] The bear chases the squirrel.[(triple4)] The bear likes the bald eagle.[(triple5)] The bear likes the cow.[(triple6)] The bear likes the squirrel.[(triple7)] The bear visits the cow.[(triple8)] The cow chases the bear.[(triple9)] The cow is kind.[(triple10)] The cow likes the bald eagle.[(triple11)] The cow likes the bear.[(triple12)] The cow visits the bear.[(triple13)] The squirrel is green.[(triple14)] The squirrel likes the bald eagle.[(triple15 OR ((((triple13) -> rule7)) -> rule8) OR ((((triple2) -> rule7)) -> rule8) OR ((((((triple1 ((triple2) -> rule7)) -> rule3)) -> rule1)) -> rule8))] The squirrel visits the bald eagle.[(triple16)] @1: The bald eagle visits the squirrel.[(((triple2) -> rule7))] The cow is red.[(((triple9) -> rule2))] The cow visits the squirrel.[(((triple13) -> rule7))] @2: The squirrel is young.[(((triple1 ((triple2) -> rule7)) -> rule3))] @3: The squirrel visits the squirrel.[(((((triple1 ((triple2) -> rule7)) -> rule3)) -> rule1))]