The dog is cold. The dog is kind. The dog is red. The dog is round. The dog is young. The dog likes the squirrel. The dog sees the squirrel. The dog visits the squirrel. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the dog. The squirrel sees the dog. The squirrel visits the dog. If someone sees the dog and the dog visits the squirrel then the dog sees the squirrel. All kind, cold people are young.
The dog visits the dog.
@0: The dog is cold.[(triple1)] The dog is kind.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5 OR ((triple2 triple1) -> rule2))] The dog likes the squirrel.[(triple6)] The dog sees the squirrel.[(triple7 OR ((triple15 triple8) -> rule1))] The dog visits the squirrel.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel is round.[(triple12)] The squirrel is young.[(triple13 OR ((triple10 triple9) -> rule2))] The squirrel likes the dog.[(triple14)] The squirrel sees the dog.[(triple15)] The squirrel visits the dog.[(triple16)]