The cat sees the squirrel. The squirrel needs the cat. If someone chases the cat then the cat is kind. If the cat needs the squirrel and the cat is red then the squirrel needs the cat. If someone is red then they need the cat. If someone is round then they see the cat. If the cat is rough and the cat needs the squirrel then the cat chases the squirrel. If the cat sees the squirrel then the squirrel chases the cat. If someone chases the cat then the cat sees the squirrel. If the cat is kind then the cat needs the squirrel.
The cat needs the squirrel.
@0: The cat sees the squirrel.[(triple1)] The squirrel needs the cat.[(triple2)] @1: The squirrel chases the cat.[(((triple1) -> rule6))] @2: The cat is kind.[(((((triple1) -> rule6)) -> rule1))] @3: The cat needs the squirrel.[(((((((triple1) -> rule6)) -> rule1)) -> rule8))]