The dog eats the lion. The dog eats the squirrel. The dog is young. The lion eats the squirrel. The lion is young. The lion likes the squirrel. The squirrel eats the tiger. The squirrel needs the tiger. The tiger is rough. The tiger likes the lion. If someone needs the dog then the dog likes the tiger. If someone eats the tiger and the tiger eats the squirrel then the squirrel likes the lion. If someone eats the tiger then the tiger is nice. If the dog needs the lion and the dog does not eat the lion then the lion is round. If someone is young then they are cold. If the lion eats the tiger and the lion is not rough then the lion is young.
The tiger is rough.
@0: The dog eats the lion.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is young.[(triple3)] The lion eats the squirrel.[(triple4)] The lion is young.[(triple5)] The lion likes the squirrel.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel needs the tiger.[(triple8)] The tiger is rough.[(triple9)] The tiger likes the lion.[(triple10)] @1: The dog is cold.[(((triple3) -> rule5))] The lion is cold.[(((triple5) -> rule5))] The tiger is nice.[(((triple7) -> rule3))]