The dog is blue. The dog is kind. The dog is rough. The dog is young. The dog likes the lion. The dog needs the lion. The dog sees the lion. The lion is blue. The lion is cold. The lion is kind. The lion is rough. The lion is young. The lion likes the dog. The lion needs the dog. The lion sees the dog. If the lion likes the dog and the lion is blue then the dog needs the lion. If the lion needs the dog then the dog is young.
The lion does not like the lion.
@0: The dog is blue.[(triple1)] The dog is kind.[(triple2)] The dog is rough.[(triple3)] The dog is young.[(triple4 OR ((triple14) -> rule2))] The dog likes the lion.[(triple5)] The dog needs the lion.[(triple6 OR ((triple13 triple8) -> rule1))] The dog sees the lion.[(triple7)] The lion is blue.[(triple8)] The lion is cold.[(triple9)] The lion is kind.[(triple10)] The lion is rough.[(triple11)] The lion is young.[(triple12)] The lion likes the dog.[(triple13)] The lion needs the dog.[(triple14)] The lion sees the dog.[(triple15)]