The cow chases the lion. The cow chases the tiger. The lion chases the cow. The lion chases the squirrel. The lion chases the tiger. The lion is cold. The lion is kind. The lion likes the squirrel. The squirrel chases the cow. The squirrel is cold. The squirrel is rough. The tiger sees the lion. If someone sees the lion then the lion chases the squirrel. If someone likes the tiger and the tiger likes the cow then the cow is round.
The lion likes the squirrel.
@0: The cow chases the lion.[(triple1)] The cow chases the tiger.[(triple2)] The lion chases the cow.[(triple3)] The lion chases the squirrel.[(triple4 OR ((triple12) -> rule1))] The lion chases the tiger.[(triple5)] The lion is cold.[(triple6)] The lion is kind.[(triple7)] The lion likes the squirrel.[(triple8)] The squirrel chases the cow.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is rough.[(triple11)] The tiger sees the lion.[(triple12)]