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