The cat chases the squirrel. The cat is nice. The cat needs the squirrel. The cat visits the squirrel. The squirrel is blue. The squirrel is nice. The squirrel is rough. If someone visits the squirrel and they are rough then they need the cat. If someone is nice and they need the cat then the cat chases the squirrel. All big people are rough. If someone chases the cat and the cat visits the squirrel then the squirrel chases the cat. If the squirrel chases the cat and the cat is rough then the squirrel visits the cat. If someone needs the squirrel then they chase the cat.
The squirrel is round.
@0: The cat chases the squirrel.[(triple1)] The cat is nice.[(triple2)] The cat needs the squirrel.[(triple3)] The cat visits the squirrel.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is nice.[(triple6)] The squirrel is rough.[(triple7)] @1: The cat chases the cat.[(((triple3) -> rule6))] @2: The squirrel chases the cat.[(((((triple3) -> rule6) triple4) -> rule4))]