The bear is red. The cow is kind. The dog visits the bear. The squirrel is cold. If the dog is kind and the dog sees the cow then the dog likes the cow. If someone visits the dog and they like the squirrel then the dog visits the bear. If someone is cold then they visit the squirrel.
The dog does not visit the bear.
@0: The bear is red.[(triple1)] The cow is kind.[(triple2)] The dog visits the bear.[(triple3)] The squirrel is cold.[(triple4)] @1: The squirrel visits the squirrel.[(((triple4) -> rule3))]