The dog likes the squirrel. The dog needs the squirrel. The dog visits the squirrel. The dog visits the tiger. The squirrel is blue. The squirrel likes the dog. The squirrel likes the tiger. The squirrel needs the dog. The squirrel needs the tiger. The tiger is blue. The tiger is cold. The tiger is not kind. The tiger is not young. The tiger likes the squirrel. The tiger needs the dog. The tiger needs the squirrel. If someone likes the squirrel and they are not young then they like the tiger.
The dog is kind.
@0: The dog likes the squirrel.[(triple1)] The dog needs the squirrel.[(triple2)] The dog visits the squirrel.[(triple3)] The dog visits the tiger.[(triple4)] The squirrel is blue.[(triple5)] The squirrel likes the dog.[(triple6)] The squirrel likes the tiger.[(triple7)] The squirrel needs the dog.[(triple8)] The squirrel needs the tiger.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is not kind.[(triple12)] The tiger is not young.[(triple13)] The tiger likes the squirrel.[(triple14)] The tiger needs the dog.[(triple15)] The tiger needs the squirrel.[(triple16)] @1: The tiger likes the tiger.[(((triple14 triple13) -> rule1))]