The bear chases the tiger. The bear sees the tiger. The tiger chases the bear. If someone sees the bear and they visit the tiger then they see the tiger. If someone visits the bear and the bear chases the tiger then the bear visits the tiger. If someone is young and they visit the bear then they are green. If someone chases the tiger and they see the tiger then they visit the bear. All blue people are green. If someone visits the tiger then the tiger visits the bear. If someone sees the tiger and they see the bear then the bear sees the tiger. If someone visits the tiger and they visit the bear then they are green.
The tiger is young.
@0: The bear chases the tiger.[(triple1)] The bear sees the tiger.[(triple2)] The tiger chases the bear.[(triple3)] @1: The bear visits the bear.[(((triple1 triple2) -> rule4))] @2: The bear visits the tiger.[(((((triple1 triple2) -> rule4) triple1) -> rule2))] @3: The bear is green.[(((((((triple1 triple2) -> rule4) triple1) -> rule2) ((triple1 triple2) -> rule4)) -> rule8))] The tiger visits the bear.[(((((((triple1 triple2) -> rule4) triple1) -> rule2)) -> rule6))]