The cat visits the mouse. The mouse visits the squirrel. The rabbit is round. The squirrel chases the cat. All blue people are cold. If the rabbit chases the mouse then the rabbit sees the squirrel. If someone sees the mouse then the mouse is round. If someone is round and they see the squirrel then they visit the squirrel. If someone visits the squirrel and the squirrel visits the rabbit then the squirrel visits the cat. If someone is round then they see the mouse. Blue people are round. If someone chases the rabbit and the rabbit visits the squirrel then the squirrel is round.
The squirrel sees the rabbit.
@0: The cat visits the mouse.[(triple1)] The mouse visits the squirrel.[(triple2)] The rabbit is round.[(triple3)] The squirrel chases the cat.[(triple4)] @1: The rabbit sees the mouse.[(((triple3) -> rule6))] @2: The mouse is round.[(((((triple3) -> rule6)) -> rule3))] @3: The mouse sees the mouse.[(((((((triple3) -> rule6)) -> rule3)) -> rule6))]