The dog is blue. The dog is kind. The dog is rough. The dog does not need the lion. The dog visits the lion. The lion eats the dog. The lion is blue. The lion is green. The lion is kind. The lion is rough. The lion needs the dog. The lion visits the dog. If the lion is rough and the lion does not eat the dog then the dog is not kind.
The lion does not need the dog.
@0: The dog does not need the lion.[(triple4)] The dog is blue.[(triple1)] The dog is kind.[(triple2)] The dog is rough.[(triple3)] The dog visits the lion.[(triple5)] The lion eats the dog.[(triple6)] The lion is blue.[(triple7)] The lion is green.[(triple8)] The lion is kind.[(triple9)] The lion is rough.[(triple10)] The lion needs the dog.[(triple11)] The lion visits the dog.[(triple12)]