The cat chases the dog. The cat is round. The cat is young. The cat visits the dog. The dog does not chase the cat. The dog is big. The dog is blue. The dog is round. The dog sees the cat. The dog visits the cat. If someone chases the dog and they visit the cat then they do not see the cat. If someone is blue and round then they visit the cat. If the dog visits the cat and the cat does not visit the dog then the dog sees the cat. If someone is blue and they chase the dog then they do not see the dog. If the cat is young and the cat visits the dog then the dog visits the cat. If someone visits the dog then the dog is kind. If someone sees the cat then the cat sees the dog. If someone sees the dog and the dog is kind then they chase the cat.
The cat does not visit the cat.
@0: The cat chases the dog.[(triple1)] The cat is round.[(triple2)] The cat is young.[(triple3)] The cat visits the dog.[(triple4)] The dog does not chase the cat.[(triple5)] The dog is big.[(triple6)] The dog is blue.[(triple7)] The dog is round.[(triple8)] The dog sees the cat.[(triple9)] The dog visits the cat.[(triple10 OR ((triple3 triple4) -> rule5) OR ((triple7 triple8) -> rule2))] @1: The cat sees the dog.[(((triple9) -> rule7))] The dog is kind.[(((triple4) -> rule6))] @2: The cat chases the cat.[(((((triple9) -> rule7) ((triple4) -> rule6)) -> rule8))]