The dog chases the squirrel. The dog is green. The dog is round. The dog needs the squirrel. The dog visits the squirrel. The squirrel chases the dog. The squirrel is blue. If someone needs the squirrel and the squirrel needs the dog then they visit the dog. If the dog is rough and the dog is green then the dog chases the squirrel. If the squirrel needs the dog then the dog is blue. If someone visits the squirrel then they need the dog. If someone is rough and they visit the dog then the dog chases the squirrel. If someone chases the squirrel and they need the dog then they are rough.
The squirrel is green.
@0: The dog chases the squirrel.[(triple1)] The dog is green.[(triple2)] The dog is round.[(triple3)] The dog needs the squirrel.[(triple4)] The dog visits the squirrel.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel is blue.[(triple7)] @1: The dog needs the dog.[(((triple5) -> rule4))] @2: The dog is rough.[(((triple1 ((triple5) -> rule4)) -> rule6))]