The cat chases the squirrel. The cat is cold. The cat is round. The cat sees the lion. The cat sees the squirrel. The lion chases the squirrel. The lion is cold. The lion is rough. The lion visits the squirrel. The squirrel visits the lion. If something sees the cat then it is kind. If the squirrel visits the lion then the squirrel chases the lion.
The cat is not kind.
@0: The cat chases the squirrel.[(triple1)] The cat is cold.[(triple2)] The cat is round.[(triple3)] The cat sees the lion.[(triple4)] The cat sees the squirrel.[(triple5)] The lion chases the squirrel.[(triple6)] The lion is cold.[(triple7)] The lion is rough.[(triple8)] The lion visits the squirrel.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The squirrel chases the lion.[(((triple10) -> rule2))]