The dog chases the squirrel. The dog is not blue. The dog is green. The dog is nice. The dog is round. The dog is young. The dog needs the squirrel. The dog visits the squirrel. The squirrel chases the dog. The squirrel is blue. The squirrel is green. The squirrel is not nice. The squirrel is round. The squirrel is young. The squirrel needs the dog. The squirrel visits the dog. If the squirrel visits the dog and the squirrel is not nice then the dog visits the squirrel. If someone needs the dog and they visit the dog then the dog needs the squirrel. If someone is round then they chase the squirrel. If someone chases the dog then the dog chases the squirrel. If someone visits the dog and the dog is round then they need the dog. If someone chases the squirrel and they do not visit the squirrel then they are blue.
The squirrel does not chase the squirrel.
@0: The dog chases the squirrel.[(triple1 OR ((triple5) -> rule3) OR ((triple9) -> rule4))] The dog is green.[(triple3)] The dog is nice.[(triple4)] The dog is not blue.[(triple2)] The dog is round.[(triple5)] The dog is young.[(triple6)] The dog needs the squirrel.[(triple7 OR ((triple15 triple16) -> rule2) OR ((((triple16 triple5) -> rule5) triple16) -> rule2))] The dog visits the squirrel.[(triple8 OR ((triple16 triple12) -> rule1))] The squirrel chases the dog.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is green.[(triple11)] The squirrel is not nice.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the dog.[(triple15 OR ((triple16 triple5) -> rule5))] The squirrel visits the dog.[(triple16)] @1: The squirrel chases the squirrel.[(((triple13) -> rule3))]