The dog chases the lion. The dog chases the tiger. The dog needs the lion. The lion chases the dog. The lion is green. The lion is round. The tiger is kind. If the dog is young and the dog likes the tiger then the tiger chases the dog. Big people are young. If the dog needs the lion and the dog is round then the lion does not like the tiger. If the dog likes the tiger and the dog does not chase the tiger then the dog is kind. If the tiger needs the dog and the tiger needs the lion then the lion is green. If the tiger needs the dog then the dog is big. If someone chases the dog then they do not need the lion. If someone needs the dog and they do not like the tiger then they like the lion.
The lion chases the lion.
@0: The dog chases the lion.[(triple1)] The dog chases the tiger.[(triple2)] The dog needs the lion.[(triple3)] The lion chases the dog.[(triple4)] The lion is green.[(triple5)] The lion is round.[(triple6)] The tiger is kind.[(triple7)] @1: The lion does not need the lion.[(((triple4) -> rule7))]