The dog needs the squirrel. The rabbit is young. The squirrel is round. If someone is nice then they eat the dog. If someone needs the rabbit and the rabbit sees the dog then the dog sees the squirrel. If someone is nice then they see the rabbit. If someone needs the rabbit then they are round. If someone eats the dog then they eat the rabbit. If someone needs the squirrel then the squirrel sees the rabbit. If someone is red and they see the dog then the dog is nice. If someone needs the dog and the dog sees the squirrel then the squirrel is rough.
The rabbit is young.
@0: The dog needs the squirrel.[(triple1)] The rabbit is young.[(triple2)] The squirrel is round.[(triple3)] @1: The squirrel sees the rabbit.[(((triple1) -> rule6))]