The bear is blue. The bear sees the mouse. The bear sees the rabbit. The mouse eats the rabbit. The rabbit is blue. The rabbit sees the bear. The rabbit visits the bear. If someone sees the bear and they visit the bear then the bear visits the rabbit. If someone is blue and they visit the rabbit then the rabbit eats the bear. If someone visits the bear then they see the rabbit.
The bear is blue.
@0: The bear is blue.[(triple1)] The bear sees the mouse.[(triple2)] The bear sees the rabbit.[(triple3)] The mouse eats the rabbit.[(triple4)] The rabbit is blue.[(triple5)] The rabbit sees the bear.[(triple6)] The rabbit visits the bear.[(triple7)] @1: The bear visits the rabbit.[(((triple6 triple7) -> rule1))] The rabbit sees the rabbit.[(((triple7) -> rule3))] @2: The rabbit eats the bear.[(((triple1 ((triple6 triple7) -> rule1)) -> rule2))]