The bear likes the cow. The cat is young. The cow chases the cat. If something chases the cow then it chases the bear. If something needs the bear then it chases the cow. If something needs the cat then the cat is big. If something chases the cat then it likes the cow. If something likes the bear then the bear is big. If something is blue and it needs the cat then it needs the cow. If something is blue then it likes the cat. If something likes the bear and the bear chases the cat then it likes the cow.
The bear does not chase the cow.
@0: The bear likes the cow.[(triple1)] The cat is young.[(triple2)] The cow chases the cat.[(triple3)] @1: The cow likes the cow.[(((triple3) -> rule4))]