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