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