The dog chases the lion. The dog is blue. The dog is cold. The dog is kind. The dog sees the lion. The dog visits the lion. The lion chases the dog. The lion is big. The lion is blue. The lion is red. The lion sees the dog. The lion visits the dog. If the lion sees the dog and the lion is kind then the dog sees the lion. If something sees the dog and it is blue then the dog chases the lion. If something visits the lion then it is kind.
The dog is blue.
@0: The dog chases the lion.[(triple1 OR ((triple11 triple9) -> rule2))] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is kind.[(triple4 OR ((triple6) -> rule3))] The dog sees the lion.[(triple5)] The dog visits the lion.[(triple6)] The lion chases the dog.[(triple7)] The lion is big.[(triple8)] The lion is blue.[(triple9)] The lion is red.[(triple10)] The lion sees the dog.[(triple11)] The lion visits the dog.[(triple12)]