The dog eats the squirrel. The dog is big. The dog is green. The dog likes the squirrel. The dog likes the tiger. The dog needs the squirrel. The dog needs the tiger. The squirrel is big. The squirrel is kind. The squirrel is red. The squirrel likes the dog. The squirrel likes the tiger. The squirrel needs the tiger. The tiger is cold. The tiger likes the dog. The tiger needs the squirrel. If the dog likes the tiger then the tiger likes the squirrel.
The squirrel is cold.
@0: The dog eats the squirrel.[(triple1)] The dog is big.[(triple2)] The dog is green.[(triple3)] The dog likes the squirrel.[(triple4)] The dog likes the tiger.[(triple5)] The dog needs the squirrel.[(triple6)] The dog needs the tiger.[(triple7)] The squirrel is big.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is red.[(triple10)] The squirrel likes the dog.[(triple11)] The squirrel likes the tiger.[(triple12)] The squirrel needs the tiger.[(triple13)] The tiger is cold.[(triple14)] The tiger likes the dog.[(triple15)] The tiger needs the squirrel.[(triple16)] @1: The tiger likes the squirrel.[(((triple5) -> rule1))]