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