The dog is kind. The mouse sees the tiger. The squirrel sees the tiger. The tiger is round. If someone chases the mouse and they eat the squirrel then the mouse sees the dog. If someone is blue and they see the tiger then the tiger sees the squirrel. If someone sees the tiger then they are blue. If someone sees the mouse then the mouse chases the tiger. If someone is kind and they eat the dog then they eat the mouse. If someone sees the squirrel then the squirrel chases the dog. If someone sees the squirrel and they eat the squirrel then the squirrel sees the tiger. If the squirrel eats the tiger then the squirrel chases the dog.
The squirrel chases the dog.
@0: The dog is kind.[(triple1)] The mouse sees the tiger.[(triple2)] The squirrel sees the tiger.[(triple3)] The tiger is round.[(triple4)] @1: The mouse is blue.[(((triple2) -> rule3))] The squirrel is blue.[(((triple3) -> rule3))] @2: The tiger sees the squirrel.[(((((triple2) -> rule3) triple2) -> rule2) OR ((((triple3) -> rule3) triple3) -> rule2))] @3: The squirrel chases the dog.[(((((((triple2) -> rule3) triple2) -> rule2)) -> rule6) OR ((((((triple3) -> rule3) triple3) -> rule2)) -> rule6))]