The mouse is big. The mouse visits the rabbit. The rabbit visits the mouse. If something is blue and kind then it likes the rabbit. If something is kind and it visits the rabbit then the rabbit is blue. If something visits the rabbit then it is kind. If the mouse visits the rabbit and the rabbit sees the mouse then the mouse likes the rabbit. If something is blue then it visits the rabbit. If something is red and big then it visits the rabbit.
The mouse sees the rabbit.
@0: The mouse is big.[(triple1)] The mouse visits the rabbit.[(triple2)] The rabbit visits the mouse.[(triple3)] @1: The mouse is kind.[(((triple2) -> rule3))] @2: The rabbit is blue.[(((((triple2) -> rule3) triple2) -> rule2))] @3: The rabbit visits the rabbit.[(((((((triple2) -> rule3) triple2) -> rule2)) -> rule5))] @4: The rabbit is kind.[(((((((((triple2) -> rule3) triple2) -> rule2)) -> rule5)) -> rule3))] @5: The rabbit likes the rabbit.[(((((((triple2) -> rule3) triple2) -> rule2) ((((((((triple2) -> rule3) triple2) -> rule2)) -> rule5)) -> rule3)) -> rule1))]