The dog is nice. The dog visits the tiger. The lion does not chase the tiger. The lion is rough. The lion is young. The rabbit is red. The rabbit likes the dog. The rabbit likes the lion. The tiger is rough. The tiger likes the lion. If something visits the rabbit and the rabbit visits the dog then the dog visits the rabbit. If the lion visits the tiger and the lion is not nice then the lion does not like the rabbit. If something visits the dog and it does not like the lion then the dog is rough. If something likes the rabbit then the rabbit chases the dog. If something visits the lion then the lion likes the dog. If the rabbit likes the lion and the lion visits the rabbit then the lion is rough. Rough things are not kind. If something visits the dog and the dog is kind then it is not red.
The rabbit does not chase the dog.
@0: The dog is nice.[(triple1)] The dog visits the tiger.[(triple2)] The lion does not chase the tiger.[(triple3)] The lion is rough.[(triple4)] The lion is young.[(triple5)] The rabbit is red.[(triple6)] The rabbit likes the dog.[(triple7)] The rabbit likes the lion.[(triple8)] The tiger is rough.[(triple9)] The tiger likes the lion.[(triple10)] @1: The lion is not kind.[(((triple4) -> rule7))] The tiger is not kind.[(((triple9) -> rule7))]