The bear likes the cow. The cow likes the tiger. The tiger is not nice. If someone likes the tiger and they visit the cow then they do not chase the tiger. If someone likes the cow then the cow visits the bear. If someone visits the bear and they do not like the tiger then the tiger does not like the bear. If the bear likes the tiger then the tiger is young. If someone visits the bear and they visit the cow then they chase the cow. If someone is kind and they do not like the bear then the bear is kind.
The bear does not like the cow.
@0: The bear likes the cow.[(triple1)] The cow likes the tiger.[(triple2)] The tiger is not nice.[(triple3)] @1: The cow visits the bear.[(((triple1) -> rule2))]