The dog chases the lion. The dog is blue. The dog is green. The dog is nice. The dog is rough. The dog likes the lion. The dog needs the lion. The lion chases the dog. The lion is blue. The lion is cold. The lion is green. The lion is nice. The lion is not rough. The lion does not like the dog. The lion does not need the dog. If something likes the dog and it likes the lion then the dog needs the lion. If the dog is cold and the dog chases the lion then the dog needs the lion. If something needs the dog and it is cold then it is nice. If something is cold then it does not chase the lion. If something likes the lion and it is not cold then it needs the dog. If something is green and rough then it does not chase the dog.
The dog is not nice.
@0: The dog chases the lion.[(triple1)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is nice.[(triple4)] The dog is rough.[(triple5)] The dog likes the lion.[(triple6)] The dog needs the lion.[(triple7)] The lion chases the dog.[(triple8)] The lion does not like the dog.[(triple14)] The lion does not need the dog.[(triple15)] The lion is blue.[(triple9)] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion is nice.[(triple12)] The lion is not rough.[(triple13)] @1: The dog does not chase the dog.[(((triple3 triple5) -> rule6))] The lion does not chase the lion.[(((triple10) -> rule4))]