The dog chases the tiger. The dog is not big. The dog is not blue. The dog is green. The dog is rough. The dog is not young. The dog needs the tiger. The dog sees the tiger. The tiger chases the dog. The tiger is big. The tiger is blue. The tiger is green. The tiger is rough. The tiger is not young. The tiger needs the dog. The tiger sees the dog. If the tiger does not chase the dog and the tiger does not see the dog then the tiger is young. If something needs the dog and the dog is green then it does not need the tiger. If something needs the tiger and it sees the dog then the dog is not big.
The tiger does not see the tiger.
@0: The dog chases the tiger.[(triple1)] The dog is green.[(triple4)] The dog is not big.[(triple2)] The dog is not blue.[(triple3)] The dog is not young.[(triple6)] The dog is rough.[(triple5)] The dog needs the tiger.[(triple7)] The dog sees the tiger.[(triple8)] The tiger chases the dog.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is not young.[(triple14)] The tiger is rough.[(triple13)] The tiger needs the dog.[(triple15)] The tiger sees the dog.[(triple16)] @1: The tiger does not need the tiger.[(((triple15 triple4) -> rule2))]