The lion chases the squirrel. The lion is green. The lion does not like the squirrel. The lion sees the squirrel. The squirrel chases the lion. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel likes the lion. The squirrel sees the lion. If someone likes the lion and the lion chases the squirrel then the lion sees the squirrel. If someone sees the squirrel and they do not chase the lion then they are young. If someone likes the squirrel then they are young. If the lion sees the squirrel and the lion is not nice then the squirrel is nice. If someone chases the squirrel and they do not chase the lion then they are cold. If someone is green and not cold then they see the lion. If someone likes the squirrel and they are not cold then they are red. If the lion is red then the lion is green.
The squirrel chases the squirrel.
@0: The lion chases the squirrel.[(triple1)] The lion does not like the squirrel.[(triple3)] The lion is green.[(triple2)] The lion sees the squirrel.[(triple4 OR ((triple9 triple1) -> rule1))] The squirrel chases the lion.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is green.[(triple7)] The squirrel is nice.[(triple8)] The squirrel likes the lion.[(triple9)] The squirrel sees the lion.[(triple10)]