The bear is big. The mouse is red. If someone sees the mouse then the mouse sees the bear. If someone visits the mouse then they see the mouse. If someone sees the bear then the bear is green. If the bear eats the mouse and the bear visits the mouse then the mouse eats the bear. If someone visits the bear and the bear is not big then the bear sees the mouse. If the bear is big then the bear visits the mouse. If someone is green then they are red. If someone visits the bear and the bear does not visit the mouse then they are green.
The bear eats the bear.
@0: The bear is big.[(triple1)] The mouse is red.[(triple2)] @1: The bear visits the mouse.[(((triple1) -> rule6))] @2: The bear sees the mouse.[(((((triple1) -> rule6)) -> rule2))] @3: The mouse sees the bear.[(((((((triple1) -> rule6)) -> rule2)) -> rule1))] @4: The bear is green.[(((((((((triple1) -> rule6)) -> rule2)) -> rule1)) -> rule3))] @5: The bear is red.[(((((((((((triple1) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule7))]