The cat is not green. The lion does not visit the squirrel. The lion visits the tiger. The squirrel chases the tiger. The squirrel sees the lion. The squirrel sees the tiger. The tiger sees the squirrel. If someone visits the tiger and they visit the cat then the cat chases the tiger. If someone chases the cat then the cat does not visit the lion. If someone sees the cat and the cat chases the squirrel then they are cold. If someone sees the squirrel and they chase the cat then the cat visits the squirrel. If the cat chases the squirrel and the squirrel is rough then the cat visits the squirrel. If the cat chases the lion and the lion chases the squirrel then the lion is cold. If someone sees the lion and they chase the tiger then the lion is green. If someone visits the squirrel and they are not cold then the squirrel does not visit the lion.
The squirrel sees the tiger.
@0: The cat is not green.[(triple1)] The lion does not visit the squirrel.[(triple2)] The lion visits the tiger.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel sees the lion.[(triple5)] The squirrel sees the tiger.[(triple6)] The tiger sees the squirrel.[(triple7)] @1: The lion is green.[(((triple5 triple4) -> rule7))]