The bear is green. The bear is rough. The bear is not young. The cat chases the lion. The cat is young. The cat likes the squirrel. The lion does not chase the squirrel. The lion likes the cat. The lion likes the squirrel. The squirrel is not green. If the squirrel eats the lion and the lion chases the squirrel then the squirrel does not like the cat. If the squirrel eats the lion then the squirrel is rough. If someone likes the squirrel then they are cold.
The cat eats the lion.
@0: The bear is green.[(triple1)] The bear is not young.[(triple3)] The bear is rough.[(triple2)] The cat chases the lion.[(triple4)] The cat is young.[(triple5)] The cat likes the squirrel.[(triple6)] The lion does not chase the squirrel.[(triple7)] The lion likes the cat.[(triple8)] The lion likes the squirrel.[(triple9)] The squirrel is not green.[(triple10)] @1: The cat is cold.[(((triple6) -> rule3))] The lion is cold.[(((triple9) -> rule3))]