The cow chases the tiger. The mouse is cold. The squirrel is blue. The tiger is blue. If someone sees the cow then the cow is blue. If someone chases the mouse and they are red then they need the tiger. If someone is rough and red then they need the mouse. If the tiger needs the squirrel then the tiger is cold. If someone chases the mouse and they chase the squirrel then they are cold. If someone is blue then they see the cow.
The cow chases the tiger.
@0: The cow chases the tiger.[(triple1)] The mouse is cold.[(triple2)] The squirrel is blue.[(triple3)] The tiger is blue.[(triple4)] @1: The squirrel sees the cow.[(((triple3) -> rule6))] The tiger sees the cow.[(((triple4) -> rule6))] @2: The cow is blue.[(((((triple3) -> rule6)) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] @3: The cow sees the cow.[(((((((triple3) -> rule6)) -> rule1)) -> rule6) OR ((((((triple4) -> rule6)) -> rule1)) -> rule6))]