The cat chases the dog. The cat is big. The cat is red. The cat is rough. The cat is young. The cat sees the dog. The cat visits the dog. The dog chases the cat. The dog is big. The dog is blue. The dog is red. The dog is rough. The dog is young. The dog sees the cat. The dog visits the cat. If the dog sees the cat then the dog is rough.
The dog sees the dog.
@0: The cat chases the dog.[(triple1)] The cat is big.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5)] The cat sees the dog.[(triple6)] The cat visits the dog.[(triple7)] The dog chases the cat.[(triple8)] The dog is big.[(triple9)] The dog is blue.[(triple10)] The dog is red.[(triple11)] The dog is rough.[(triple12 OR ((triple14) -> rule1))] The dog is young.[(triple13)] The dog sees the cat.[(triple14)] The dog visits the cat.[(triple15)]