The cat chases the lion. The cat is cold. The cat likes the lion. The cat likes the squirrel. The lion is kind. The lion is nice. The lion needs the cat. The squirrel chases the cat. The squirrel is big. The squirrel is cold. If something chases the squirrel then it is kind. If something likes the lion and it chases the lion then the lion chases the cat. If something needs the lion and the lion likes the cat then the lion likes the squirrel.
The lion likes the cat.
@0: The cat chases the lion.[(triple1)] The cat is cold.[(triple2)] The cat likes the lion.[(triple3)] The cat likes the squirrel.[(triple4)] The lion is kind.[(triple5)] The lion is nice.[(triple6)] The lion needs the cat.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] @1: The lion chases the cat.[(((triple3 triple1) -> rule2))]