The rabbit is red. The squirrel chases the rabbit. If someone eats the squirrel then they are red. If the squirrel chases the rabbit then the rabbit sees the squirrel. If the squirrel chases the rabbit and the rabbit does not see the squirrel then the squirrel does not see the rabbit. If someone sees the squirrel then the squirrel sees the rabbit. If someone sees the rabbit then they eat the rabbit. If someone is red and not kind then they eat the rabbit.
The rabbit does not see the squirrel.
@0: The rabbit is red.[(triple1)] The squirrel chases the rabbit.[(triple2)] @1: The rabbit sees the squirrel.[(((triple2) -> rule2))] @2: The squirrel sees the rabbit.[(((((triple2) -> rule2)) -> rule4))] @3: The squirrel eats the rabbit.[(((((((triple2) -> rule2)) -> rule4)) -> rule5))]