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