The bald eagle is blue. The bald eagle is rough. The bald eagle needs the squirrel. The bald eagle visits the cow. The cow sees the lion. The cow sees the squirrel. The cow visits the bald eagle. The lion needs the cow. The lion sees the bald eagle. The lion visits the bald eagle. The squirrel sees the bald eagle. The squirrel sees the lion. If the squirrel sees the lion and the lion sees the cow then the cow sees the bald eagle. If someone is green and they see the lion then they need the lion. If someone visits the cow and the cow visits the lion then the cow is green. If the bald eagle needs the lion and the lion is cold then the bald eagle needs the cow. If someone is rough then they see the squirrel. If someone visits the cow then the cow is green. If someone sees the cow then the cow is round. If someone is green and they see the lion then the lion is round.
The lion does not need the cow.
@0: The bald eagle is blue.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle visits the cow.[(triple4)] The cow sees the lion.[(triple5)] The cow sees the squirrel.[(triple6)] The cow visits the bald eagle.[(triple7)] The lion needs the cow.[(triple8)] The lion sees the bald eagle.[(triple9)] The lion visits the bald eagle.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel sees the lion.[(triple12)] @1: The bald eagle sees the squirrel.[(((triple2) -> rule5))] The cow is green.[(((triple4) -> rule6))] @2: The cow needs the lion.[(((((triple4) -> rule6) triple5) -> rule2))] The lion is round.[(((((triple4) -> rule6) triple5) -> rule8))]