The bear is green. The bear visits the cat. The cat visits the bear. If someone sees the bear then the bear does not see the cat. If someone is green then they see the bear. If someone sees the bear and the bear does not see the cat then they are not young.
The bear is not nice.
@0: The bear is green.[(triple1)] The bear visits the cat.[(triple2)] The cat visits the bear.[(triple3)] @1: The bear sees the bear.[(((triple1) -> rule2))] @2: The bear does not see the cat.[(((((triple1) -> rule2)) -> rule1))] @3: The bear is not young.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3))]