The lion chases the tiger. The lion is blue. The lion is nice. The lion visits the squirrel. The lion visits the tiger. The squirrel does not chase the lion. The squirrel likes the tiger. The tiger chases the squirrel. The tiger is blue. The tiger is cold. The tiger likes the lion. The tiger visits the lion. If someone visits the squirrel then the squirrel visits the lion. If someone chases the lion then the lion likes the squirrel.
The lion is not blue.
@0: The lion chases the tiger.[(triple1)] The lion is blue.[(triple2)] The lion is nice.[(triple3)] The lion visits the squirrel.[(triple4)] The lion visits the tiger.[(triple5)] The squirrel does not chase the lion.[(triple6)] The squirrel likes the tiger.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger is blue.[(triple9)] The tiger is cold.[(triple10)] The tiger likes the lion.[(triple11)] The tiger visits the lion.[(triple12)] @1: The squirrel visits the lion.[(((triple4) -> rule1))]