The bear visits the squirrel. The cow does not visit the bear. The squirrel is not blue. If someone is kind then they do not visit the squirrel. If someone is blue then they visit the squirrel. If someone visits the squirrel then the squirrel visits the cow. If someone eats the bear and they visit the squirrel then the bear does not eat the cow. If someone is kind then they do not visit the cow. If someone visits the bear and the bear likes the cow then the bear is blue.
The cow does not visit the squirrel.
@0: The bear visits the squirrel.[(triple1)] The cow does not visit the bear.[(triple2)] The squirrel is not blue.[(triple3)] @1: The squirrel visits the cow.[(((triple1) -> rule3))]