The dog is cold. The dog is nice. The dog needs the squirrel. The dog needs the tiger. The squirrel eats the dog. The squirrel eats the tiger. The squirrel is not cold. The squirrel is not nice. The squirrel is round. The squirrel likes the dog. The squirrel needs the tiger. The tiger is not cold. The tiger is green. The tiger is red. The tiger likes the dog. The tiger needs the dog. If someone eats the tiger then they like the squirrel. If someone needs the dog then the dog does not like the tiger. If someone is cold then they eat the dog. If someone is nice and they do not like the dog then they eat the dog. If someone is red then they eat the tiger. If someone likes the tiger then they eat the squirrel. If someone likes the tiger then the tiger is nice. If someone likes the squirrel and they are green then they are nice.
The dog likes the tiger.
@0: The dog is cold.[(triple1)] The dog is nice.[(triple2)] The dog needs the squirrel.[(triple3)] The dog needs the tiger.[(triple4)] The squirrel eats the dog.[(triple5)] The squirrel eats the tiger.[(triple6)] The squirrel is not cold.[(triple7)] The squirrel is not nice.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the dog.[(triple10)] The squirrel needs the tiger.[(triple11)] The tiger is green.[(triple13)] The tiger is not cold.[(triple12)] The tiger is red.[(triple14)] The tiger likes the dog.[(triple15)] The tiger needs the dog.[(triple16)] @1: The dog does not like the tiger.[(((triple16) -> rule2))] The dog eats the dog.[(((triple1) -> rule3))] The squirrel likes the squirrel.[(((triple6) -> rule1))] The tiger eats the tiger.[(((triple14) -> rule5))] @2: The tiger likes the squirrel.[(((((triple14) -> rule5)) -> rule1))] @3: The tiger is nice.[(((((((triple14) -> rule5)) -> rule1) triple13) -> rule8))]