The dog is round. The dog is young. The dog needs the squirrel. The dog sees the squirrel. The dog visits the squirrel. The squirrel is blue. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel needs the dog. The squirrel sees the dog. The squirrel visits the dog. If the dog is round and the dog needs the squirrel then the squirrel is young. If something needs the dog and it sees the squirrel then the squirrel visits the dog.
The dog does not visit the squirrel.
@0: The dog is round.[(triple1)] The dog is young.[(triple2)] The dog needs the squirrel.[(triple3)] The dog sees the squirrel.[(triple4)] The dog visits the squirrel.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is red.[(triple8)] The squirrel is round.[(triple9)] The squirrel needs the dog.[(triple10)] The squirrel sees the dog.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The squirrel is young.[(((triple1 triple3) -> rule1))]