The bear visits the cat. The cat chases the bear. The cat is green. The cat is red. The cat visits the bear. The cat visits the cow. The cow sees the bear. If someone chases the bear then the bear visits the cow. If someone visits the cow and the cow is green then they see the bear. If someone visits the bear and the bear is young then they visit the cow.
The bear is blue.
@0: The bear visits the cat.[(triple1)] The cat chases the bear.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat visits the bear.[(triple5)] The cat visits the cow.[(triple6)] The cow sees the bear.[(triple7)] @1: The bear visits the cow.[(((triple2) -> rule1))]