The cow eats the squirrel. The lion eats the cow. The lion eats the squirrel. The lion likes the tiger. The squirrel eats the cow. The squirrel eats the lion. The squirrel is cold. The tiger is rough. The tiger likes the cow. The tiger sees the cow. If the lion is young and the lion likes the tiger then the tiger eats the cow. If someone likes the tiger then they are cold. If someone eats the lion and they like the tiger then the lion is nice. If someone eats the lion then the lion eats the tiger. If the tiger likes the lion and the tiger likes the cow then the lion eats the cow. If someone is red then they eat the tiger.
The squirrel is cold.
@0: The cow eats the squirrel.[(triple1)] The lion eats the cow.[(triple2)] The lion eats the squirrel.[(triple3)] The lion likes the tiger.[(triple4)] The squirrel eats the cow.[(triple5)] The squirrel eats the lion.[(triple6)] The squirrel is cold.[(triple7)] The tiger is rough.[(triple8)] The tiger likes the cow.[(triple9)] The tiger sees the cow.[(triple10)] @1: The lion eats the tiger.[(((triple6) -> rule4))] The lion is cold.[(((triple4) -> rule2))]