The cat chases the mouse. The cat chases the squirrel. The cat is big. The cat sees the mouse. The cat sees the squirrel. The mouse chases the cat. The mouse is young. The mouse needs the squirrel. The mouse sees the cat. The mouse sees the squirrel. The squirrel chases the mouse. The squirrel is big. The squirrel is blue. The squirrel needs the cat. The squirrel needs the mouse. If someone is nice and big then they chase the mouse. If the mouse is big then the mouse chases the squirrel. If someone sees the mouse and the mouse is blue then they chase the cat. If someone is round and young then they need the squirrel. If someone needs the mouse and they see the mouse then the mouse chases the cat. If someone needs the cat then they see the squirrel.
The squirrel chases the mouse.
@0: The cat chases the mouse.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is big.[(triple3)] The cat sees the mouse.[(triple4)] The cat sees the squirrel.[(triple5)] The mouse chases the cat.[(triple6)] The mouse is young.[(triple7)] The mouse needs the squirrel.[(triple8)] The mouse sees the cat.[(triple9)] The mouse sees the squirrel.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel is big.[(triple12)] The squirrel is blue.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel needs the mouse.[(triple15)] @1: The squirrel sees the squirrel.[(((triple14) -> rule6))]