The dog chases the lion. The dog is blue. The dog is green. The dog is kind. The dog is nice. The dog is red. The dog likes the lion. The dog visits the lion. The lion chases the dog. The lion is blue. The lion is green. The lion is kind. The lion is nice. The lion is red. The lion likes the dog. The lion visits the dog. If someone likes the lion and the lion likes the dog then they visit the lion. If someone likes the dog and they are green then the dog visits the lion. If someone is green then they visit the lion.
The lion chases the lion.
@0: The dog chases the lion.[(triple1)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is nice.[(triple5)] The dog is red.[(triple6)] The dog likes the lion.[(triple7)] The dog visits the lion.[(triple8 OR ((triple3) -> rule3) OR ((triple15 triple11) -> rule2) OR ((triple7 triple15) -> rule1))] The lion chases the dog.[(triple9)] The lion is blue.[(triple10)] The lion is green.[(triple11)] The lion is kind.[(triple12)] The lion is nice.[(triple13)] The lion is red.[(triple14)] The lion likes the dog.[(triple15)] The lion visits the dog.[(triple16)] @1: The lion visits the lion.[(((triple11) -> rule3))]