The rabbit is cold. The rabbit sees the squirrel. The squirrel visits the rabbit. If the squirrel is green and the squirrel chases the rabbit then the squirrel sees the rabbit. If someone sees the squirrel and they chase the squirrel then the squirrel sees the rabbit. If someone sees the squirrel then they chase the squirrel. If someone sees the squirrel then they visit the rabbit. If the squirrel sees the rabbit then the rabbit is green. If someone is big then they do not chase the rabbit. If someone chases the rabbit then they are cold. If the squirrel sees the rabbit then the rabbit is cold.
The squirrel sees the squirrel.
@0: The rabbit is cold.[(triple1 OR ((((triple2 ((triple2) -> rule3)) -> rule2)) -> rule8))] The rabbit sees the squirrel.[(triple2)] The squirrel visits the rabbit.[(triple3)] @1: The rabbit chases the squirrel.[(((triple2) -> rule3))] The rabbit visits the rabbit.[(((triple2) -> rule4))] @2: The squirrel sees the rabbit.[(((triple2 ((triple2) -> rule3)) -> rule2))] @3: The rabbit is green.[(((((triple2 ((triple2) -> rule3)) -> rule2)) -> rule5))]