The cat chases the dog. The cat chases the squirrel. The cat is rough. The cat sees the dog. The cat sees the squirrel. The cat visits the dog. The cat visits the squirrel. The dog is blue. The dog visits the cat. The dog visits the squirrel. The squirrel is rough. The squirrel visits the dog. If someone visits the squirrel then the squirrel visits the dog. If someone is round and they see the dog then they see the cat. If someone chases the cat then they are red. If someone sees the cat then they are red. If someone is red and they see the dog then the dog is round. If someone chases the cat and the cat visits the squirrel then they chase the dog.
The cat does not see the dog.
@0: The cat chases the dog.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is rough.[(triple3)] The cat sees the dog.[(triple4)] The cat sees the squirrel.[(triple5)] The cat visits the dog.[(triple6)] The cat visits the squirrel.[(triple7)] The dog is blue.[(triple8)] The dog visits the cat.[(triple9)] The dog visits the squirrel.[(triple10)] The squirrel is rough.[(triple11)] The squirrel visits the dog.[(triple12 OR ((triple10) -> rule1) OR ((triple7) -> rule1))]