The bald eagle is cold. The bald eagle sees the dog. The cow is nice. The dog is nice. The dog likes the cow. The dog likes the squirrel. The dog sees the bald eagle. The squirrel is cold. The squirrel likes the dog. The squirrel needs the cow. The squirrel sees the bald eagle. The squirrel sees the dog. If someone needs the cow and they need the dog then the cow is green. If someone needs the bald eagle and the bald eagle needs the squirrel then the bald eagle likes the cow. If someone likes the squirrel and they like the dog then the dog is nice. If someone needs the squirrel then they are green. If someone sees the cow then they need the dog. If someone is cold then they see the cow. If someone likes the dog and the dog is blue then the dog sees the bald eagle. If someone needs the dog then the dog sees the cow.
The dog sees the cow.
@0: The bald eagle is cold.[(triple1)] The bald eagle sees the dog.[(triple2)] The cow is nice.[(triple3)] The dog is nice.[(triple4)] The dog likes the cow.[(triple5)] The dog likes the squirrel.[(triple6)] The dog sees the bald eagle.[(triple7)] The squirrel is cold.[(triple8)] The squirrel likes the dog.[(triple9)] The squirrel needs the cow.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The bald eagle sees the cow.[(((triple1) -> rule6))] The squirrel sees the cow.[(((triple8) -> rule6))] @2: The bald eagle needs the dog.[(((((triple1) -> rule6)) -> rule5))] The squirrel needs the dog.[(((((triple8) -> rule6)) -> rule5))] @3: The cow is green.[(((triple10 ((((triple8) -> rule6)) -> rule5)) -> rule1))] The dog sees the cow.[(((((((triple1) -> rule6)) -> rule5)) -> rule8) OR ((((((triple8) -> rule6)) -> rule5)) -> rule8))] @4: The dog needs the dog.[(((((((((triple1) -> rule6)) -> rule5)) -> rule8)) -> rule5) OR ((((((((triple8) -> rule6)) -> rule5)) -> rule8)) -> rule5))]