The mouse is red. The rabbit is not big. The rabbit visits the mouse. If someone visits the mouse then the mouse chases the rabbit. If someone is blue and not big then they eat the mouse. If someone visits the mouse and they are cold then the mouse is red. If someone is red and they chase the rabbit then the rabbit is young. If someone is big then they visit the mouse. If someone is young and not big then they are blue.
The mouse does not chase the rabbit.
@0: The mouse is red.[(triple1)] The rabbit is not big.[(triple2)] The rabbit visits the mouse.[(triple3)] @1: The mouse chases the rabbit.[(((triple3) -> rule1))] @2: The rabbit is young.[(((triple1 ((triple3) -> rule1)) -> rule4))] @3: The rabbit is blue.[(((((triple1 ((triple3) -> rule1)) -> rule4) triple2) -> rule6))] @4: The rabbit eats the mouse.[(((((((triple1 ((triple3) -> rule1)) -> rule4) triple2) -> rule6) triple2) -> rule2))]