The dog is blue. The dog is young. The dog likes the lion. The dog sees the rabbit. The dog visits the lion. The dog visits the rabbit. The lion is not young. The lion likes the dog. The lion sees the dog. The lion sees the rabbit. The lion visits the rabbit. The rabbit is blue. The rabbit is rough. The rabbit likes the dog. The rabbit sees the dog. The rabbit visits the dog. If someone likes the rabbit and the rabbit is young then the rabbit is blue. If someone is rough and they do not like the lion then they are kind. If someone is round and they visit the rabbit then the rabbit does not visit the lion. If someone is young then they visit the lion. If someone is round and they visit the rabbit then they visit the lion. If the rabbit visits the dog then the dog visits the rabbit. If someone is kind and they like the lion then the lion visits the dog. If someone is kind then they visit the dog.
The dog does not visit the lion.
@0: The dog is blue.[(triple1)] The dog is young.[(triple2)] The dog likes the lion.[(triple3)] The dog sees the rabbit.[(triple4)] The dog visits the lion.[(triple5 OR ((triple2) -> rule4))] The dog visits the rabbit.[(triple6 OR ((triple16) -> rule6))] The lion is not young.[(triple7)] The lion likes the dog.[(triple8)] The lion sees the dog.[(triple9)] The lion sees the rabbit.[(triple10)] The lion visits the rabbit.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is rough.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit sees the dog.[(triple15)] The rabbit visits the dog.[(triple16)]