The bear visits the cat. The cat is green. If something is blue and green then it visits the bear. If something likes the bear and it sees the cat then it sees the bear. If something visits the bear then the bear sees the cat. If the bear is cold then the bear is round. If the cat is not green then the cat does not see the bear. If something visits the bear then it likes the bear. If the cat is green then the cat is blue. If something visits the cat and it sees the bear then the cat visits the bear.
The cat visits the bear.
@0: The bear visits the cat.[(triple1)] The cat is green.[(triple2)] @1: The cat is blue.[(((triple2) -> rule7))] @2: The cat visits the bear.[(((((triple2) -> rule7) triple2) -> rule1))] @3: The bear sees the cat.[(((((((triple2) -> rule7) triple2) -> rule1)) -> rule3))] The cat likes the bear.[(((((((triple2) -> rule7) triple2) -> rule1)) -> rule6))]