The lion is kind. The mouse visits the tiger. The squirrel visits the tiger. The tiger is round. If someone chases the squirrel and the squirrel chases the lion then the lion visits the tiger. If the squirrel chases the tiger and the tiger chases the squirrel then the tiger is round. If the tiger chases the lion and the lion chases the squirrel then the lion is big. If someone is kind and they visit the lion then the lion needs the squirrel. If the tiger chases the lion and the lion is big then the lion chases the tiger. If someone needs the squirrel then the squirrel visits the tiger.
The lion is not big.
@0: The lion is kind.[(triple1)] The mouse visits the tiger.[(triple2)] The squirrel visits the tiger.[(triple3)] The tiger is round.[(triple4)]