The mouse visits the rabbit. The rabbit visits the mouse. If someone sees the mouse and the mouse visits the rabbit then the rabbit is red. If someone is red then they see the mouse. If someone needs the rabbit and they visit the rabbit then they are big. If the rabbit visits the mouse then the rabbit sees the mouse. If someone needs the rabbit then the rabbit is cold. If someone is cold then they need the rabbit. If someone sees the rabbit then the rabbit is big. If someone visits the rabbit and they are big then the rabbit is blue.
The mouse is not big.
@0: The mouse visits the rabbit.[(triple1)] The rabbit visits the mouse.[(triple2)] @1: The rabbit sees the mouse.[(((triple2) -> rule4))] @2: The rabbit is red.[(((((triple2) -> rule4) triple1) -> rule1))]