The dog is big. The dog is blue. The dog is not kind. The dog is nice. The dog is young. The dog needs the lion. The dog sees the lion. The dog visits the lion. The lion is big. The lion is blue. The lion is kind. The lion is nice. The lion is not young. The lion needs the dog. The lion sees the dog. The lion visits the dog. If someone needs the lion and the lion visits the dog then the dog sees the lion. If someone is big and they need the dog then the dog sees the lion. If someone needs the dog and the dog does not visit the lion then the lion does not need the dog.
The lion visits the lion.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is nice.[(triple4)] The dog is not kind.[(triple3)] The dog is young.[(triple5)] The dog needs the lion.[(triple6)] The dog sees the lion.[(triple7 OR ((triple6 triple16) -> rule1) OR ((triple9 triple14) -> rule2))] The dog visits the lion.[(triple8)] The lion is big.[(triple9)] The lion is blue.[(triple10)] The lion is kind.[(triple11)] The lion is nice.[(triple12)] The lion is not young.[(triple13)] The lion needs the dog.[(triple14)] The lion sees the dog.[(triple15)] The lion visits the dog.[(triple16)]