The bear is blue. The cow is not red. The lion does not visit the bear. If the bear is blue then the bear does not visit the cow.
The bear does not visit the cow.
@0: The bear is blue.[(triple1)] The cow is not red.[(triple2)] The lion does not visit the bear.[(triple3)] @1: The bear does not visit the cow.[(((triple1) -> rule1))]