The cat chases the dog. The cat is big. The cat is green. The cat is kind. The cat is nice. The cat is round. The cat sees the dog. The cat visits the dog. The dog chases the cat. The dog is big. The dog is green. The dog is kind. The dog is nice. The dog is round. The dog sees the cat. The dog visits the cat. If someone visits the cat then the cat chases the dog. If the dog chases the cat then the cat visits the dog. If someone visits the dog and they visit the cat then they are nice. If someone is big and they see the cat then they chase the dog. If someone sees the dog then the dog sees the cat. If the cat visits the dog then the dog chases the cat.
The dog is round.
@0: The cat chases the dog.[(triple1 OR ((triple16) -> rule1))] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat is round.[(triple6)] The cat sees the dog.[(triple7)] The cat visits the dog.[(triple8 OR ((triple9) -> rule2))] The dog chases the cat.[(triple9 OR ((triple8) -> rule6))] The dog is big.[(triple10)] The dog is green.[(triple11)] The dog is kind.[(triple12)] The dog is nice.[(triple13)] The dog is round.[(triple14)] The dog sees the cat.[(triple15 OR ((triple7) -> rule5))] The dog visits the cat.[(triple16)] @1: The dog chases the dog.[(((triple10 triple15) -> rule4) OR ((triple10 ((triple7) -> rule5)) -> rule4))]