The dog is kind. The lion needs the dog. The lion visits the dog. If something sees the dog then the dog visits the lion. If something visits the dog then the dog does not visit the lion. All round things are not rough. If something is blue then it does not visit the dog. If something visits the lion and the lion sees the dog then it is round. If something sees the lion then it needs the lion. If something visits the dog and it needs the dog then the dog is not blue. If the lion sees the dog and the dog is rough then the dog is kind.
The dog is rough.
@0: The dog is kind.[(triple1)] The lion needs the dog.[(triple2)] The lion visits the dog.[(triple3)] @1: The dog does not visit the lion.[(((triple3) -> rule2))] The dog is not blue.[(((triple3 triple2) -> rule7))]