The bear likes the cow. The cat sees the bear. The cow likes the bear. The cow needs the bear. The cow needs the cat. The cow sees the cat. The squirrel likes the cow. If someone likes the bear and they see the cat then the bear needs the cow. If someone needs the cat and they like the bear then they see the cat. If someone needs the cow then the cow needs the squirrel. If someone is green and they see the cat then the cat is young. If the squirrel needs the cat then the cat is green. Green, kind people are big. If someone is green then they need the bear. If someone is big and they like the bear then the bear likes the cow.
The cat does not see the bear.
@0: The bear likes the cow.[(triple1)] The cat sees the bear.[(triple2)] The cow likes the bear.[(triple3)] The cow needs the bear.[(triple4)] The cow needs the cat.[(triple5)] The cow sees the cat.[(triple6 OR ((triple5 triple3) -> rule2))] The squirrel likes the cow.[(triple7)] @1: The bear needs the cow.[(((triple3 triple6) -> rule1) OR ((triple3 ((triple5 triple3) -> rule2)) -> rule1))] @2: The cow needs the squirrel.[(((((triple3 triple6) -> rule1)) -> rule3) OR ((((triple3 ((triple5 triple3) -> rule2)) -> rule1)) -> rule3))]