The mouse sees the squirrel. The rabbit sees the squirrel. The squirrel visits the rabbit. If something visits the mouse then the mouse does not like the squirrel. If something likes the squirrel and it is not nice then it sees the squirrel. If something visits the rabbit then the rabbit likes the mouse. If something is rough and it does not see the mouse then the mouse is blue. If something visits the squirrel and it sees the rabbit then the squirrel is blue. If something visits the rabbit and the rabbit likes the mouse then the rabbit is not blue.
The rabbit is big.
@0: The mouse sees the squirrel.[(triple1)] The rabbit sees the squirrel.[(triple2)] The squirrel visits the rabbit.[(triple3)] @1: The rabbit likes the mouse.[(((triple3) -> rule3))] @2: The rabbit is not blue.[(((triple3 ((triple3) -> rule3)) -> rule6))]