The cat chases the rabbit. The rabbit needs the cat. The squirrel is nice. The tiger needs the cat. If the squirrel is nice then the squirrel sees the rabbit. If someone is nice and they see the tiger then they need the cat. If the squirrel is cold and the squirrel needs the cat then the squirrel chases the tiger. If someone is red and they chase the squirrel then they need the squirrel. If someone chases the tiger and they are blue then they are red. If someone is young and they need the rabbit then they see the cat. If someone sees the tiger then they need the cat. If someone needs the tiger then the tiger chases the squirrel.
The tiger does not chase the squirrel.
@0: The cat chases the rabbit.[(triple1)] The rabbit needs the cat.[(triple2)] The squirrel is nice.[(triple3)] The tiger needs the cat.[(triple4)] @1: The squirrel sees the rabbit.[(((triple3) -> rule1))]