The dog chases the squirrel. The squirrel chases the dog. The squirrel needs the dog. If someone visits the dog then they are red. If someone needs the dog and the dog is round then the dog visits the squirrel. If someone visits the dog then they are nice. If the dog is round and the dog visits the squirrel then the dog is green. If someone visits the dog then they need the squirrel. If someone visits the dog then the dog is red. If someone chases the dog then they visit the dog. If someone is green and nice then they chase the squirrel.
The squirrel does not chase the squirrel.
@0: The dog chases the squirrel.[(triple1)] The squirrel chases the dog.[(triple2)] The squirrel needs the dog.[(triple3)] @1: The squirrel visits the dog.[(((triple2) -> rule7))] @2: The dog is red.[(((((triple2) -> rule7)) -> rule6))] The squirrel is nice.[(((((triple2) -> rule7)) -> rule3))] The squirrel is red.[(((((triple2) -> rule7)) -> rule1))] The squirrel needs the squirrel.[(((((triple2) -> rule7)) -> rule5))]