The bear likes the cat. The cat needs the cow. The cow is kind. The rabbit needs the bear. If something likes the cat then the cat likes the bear. If something needs the cat and the cat chases the rabbit then it is big. If the cat is kind and the cat needs the cow then the cow is kind. If something needs the cow and the cow likes the bear then the cow chases the rabbit. If something likes the bear then the bear chases the cow. If something needs the bear and it chases the cat then the bear needs the rabbit.
The bear does not like the cat.
@0: The bear likes the cat.[(triple1)] The cat needs the cow.[(triple2)] The cow is kind.[(triple3)] The rabbit needs the bear.[(triple4)] @1: The cat likes the bear.[(((triple1) -> rule1))] @2: The bear chases the cow.[(((((triple1) -> rule1)) -> rule5))]