The dog chases the squirrel. The dog is green. The dog is red. The dog is young. The dog sees the squirrel. The dog visits the squirrel. The squirrel chases the dog. If something sees the dog then the dog chases the squirrel. If something sees the dog and it visits the squirrel then the dog is red. If something chases the dog and the dog chases the squirrel then the dog visits the squirrel. If something is green and it visits the dog then the dog visits the squirrel. If something sees the squirrel then the squirrel visits the dog. If something visits the dog and the dog chases the squirrel then it sees the dog. If something chases the squirrel and it chases the dog then the squirrel is young. If something visits the dog and it is big then the dog visits the squirrel.
The dog does not see the squirrel.
@0: The dog chases the squirrel.[(triple1)] The dog is green.[(triple2)] The dog is red.[(triple3)] The dog is young.[(triple4)] The dog sees the squirrel.[(triple5)] The dog visits the squirrel.[(triple6 OR ((triple7 triple1) -> rule3))] The squirrel chases the dog.[(triple7)] @1: The squirrel visits the dog.[(((triple5) -> rule5))] @2: The squirrel sees the dog.[(((((triple5) -> rule5) triple1) -> rule6))]