The bear needs the cow. The bear sees the cow. The cow sees the bear. If someone likes the cow and they need the cow then they see the bear. If someone likes the cow then the cow needs the bear. If someone is young then they see the bear. If the cow needs the bear and the cow is green then the cow sees the bear. If someone sees the bear and the bear needs the cow then the bear likes the cow. If someone sees the bear and they need the bear then the bear needs the cow. If someone sees the cow then they need the bear. If someone likes the cow then the cow needs the bear.
The cow does not see the cow.
@0: The bear needs the cow.[(triple1)] The bear sees the cow.[(triple2)] The cow sees the bear.[(triple3)] @1: The bear likes the cow.[(((triple3 triple1) -> rule5))] The bear needs the bear.[(((triple2) -> rule7))] @2: The bear sees the bear.[(((((triple3 triple1) -> rule5) triple1) -> rule1))] The cow needs the bear.[(((((triple3 triple1) -> rule5)) -> rule2) OR ((((triple3 triple1) -> rule5)) -> rule8))]