The bald eagle is blue. The bald eagle needs the cow. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The cow is young. The cow likes the bald eagle. The cow likes the squirrel. The cow needs the squirrel. The cow sees the bald eagle. The dog likes the squirrel. The squirrel is cold. The squirrel needs the bald eagle. If something likes the bald eagle then it likes the cow. If something likes the bald eagle and it likes the cow then the cow sees the dog. If something likes the cow then the cow is cold. If something sees the squirrel then it likes the squirrel. If something is kind then it sees the dog. If something sees the dog then the dog likes the bald eagle.
The squirrel does not like the cow.
@0: The bald eagle is blue.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The cow is young.[(triple5)] The cow likes the bald eagle.[(triple6)] The cow likes the squirrel.[(triple7)] The cow needs the squirrel.[(triple8)] The cow sees the bald eagle.[(triple9)] The dog likes the squirrel.[(triple10)] The squirrel is cold.[(triple11)] The squirrel needs the bald eagle.[(triple12)] @1: The bald eagle likes the squirrel.[(((triple4) -> rule4))] The cow likes the cow.[(((triple6) -> rule1))] @2: The cow is cold.[(((((triple6) -> rule1)) -> rule3) OR ((((((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule1)) -> rule3))] The cow sees the dog.[(((triple6 ((triple6) -> rule1)) -> rule2))] @3: The dog likes the bald eagle.[(((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule6))] @4: The dog likes the cow.[(((((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule1))]