The lion is cold. The lion sees the squirrel. The squirrel is blue. The squirrel sees the lion. The squirrel sees the tiger. The tiger chases the lion. The tiger likes the lion. If someone is nice then they are blue. If someone chases the squirrel and the squirrel sees the lion then the squirrel likes the tiger. If someone chases the lion then the lion is cold. If someone chases the squirrel then they are young. If someone likes the squirrel then the squirrel is cold. If someone chases the lion and the lion sees the squirrel then the squirrel chases the tiger. If the squirrel likes the tiger and the squirrel sees the tiger then the squirrel sees the lion. If the tiger likes the squirrel then the squirrel likes the lion.
The squirrel does not chase the tiger.
@0: The lion is cold.[(triple1 OR ((triple6) -> rule3))] The lion sees the squirrel.[(triple2)] The squirrel is blue.[(triple3)] The squirrel sees the lion.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger chases the lion.[(triple6)] The tiger likes the lion.[(triple7)] @1: The squirrel chases the tiger.[(((triple6 triple2) -> rule6))]