The dog chases the lion. The dog chases the tiger. The dog is big. The dog is cold. The dog is green. The dog is not round. The dog is young. The dog likes the lion. The dog likes the tiger. The dog does not need the lion. The dog needs the tiger. The lion likes the dog. The lion does not need the tiger. The tiger is big. The tiger is round. The tiger likes the dog. If the lion does not like the dog and the dog does not like the lion then the lion is not big. If someone chases the tiger and they are young then the tiger likes the lion. If the tiger does not need the lion then the tiger is big. If someone likes the dog then they are cold. If the dog needs the lion then the dog chases the tiger. If someone chases the lion and the lion does not chase the dog then the lion does not like the tiger.
The lion does not need the tiger.
@0: The dog chases the lion.[(triple1)] The dog chases the tiger.[(triple2)] The dog does not need the lion.[(triple10)] The dog is big.[(triple3)] The dog is cold.[(triple4)] The dog is green.[(triple5)] The dog is not round.[(triple6)] The dog is young.[(triple7)] The dog likes the lion.[(triple8)] The dog likes the tiger.[(triple9)] The dog needs the tiger.[(triple11)] The lion does not need the tiger.[(triple13)] The lion likes the dog.[(triple12)] The tiger is big.[(triple14)] The tiger is round.[(triple15)] The tiger likes the dog.[(triple16)] @1: The lion is cold.[(((triple12) -> rule4))] The tiger is cold.[(((triple16) -> rule4))] The tiger likes the lion.[(((triple2 triple7) -> rule2))]