The dog is red. The squirrel chases the dog. The squirrel likes the dog. If someone chases the squirrel and they are round then the squirrel chases the dog. If someone chases the dog and the dog chases the squirrel then the dog needs the squirrel. If the dog likes the squirrel then the squirrel chases the dog. If someone chases the squirrel then the squirrel needs the dog. If someone needs the dog then the dog is round. If the dog is red then the dog needs the squirrel. Rough, round people are red. If someone needs the squirrel then the squirrel needs the dog.
The dog likes the squirrel.
@0: The dog is red.[(triple1)] The squirrel chases the dog.[(triple2)] The squirrel likes the dog.[(triple3)] @1: The dog needs the squirrel.[(((triple1) -> rule6))] @2: The squirrel needs the dog.[(((((triple1) -> rule6)) -> rule8))] @3: The dog is round.[(((((((triple1) -> rule6)) -> rule8)) -> rule5))]