The dog sees the squirrel. The lion chases the dog. The lion does not chase the squirrel. The lion is blue. The lion does not like the squirrel. The squirrel chases the lion. The squirrel does not like the lion. If the squirrel sees the lion and the squirrel chases the lion then the lion is blue. If something is blue then it chases the lion. If something likes the dog then it sees the lion. If something chases the dog then the dog is red. If the squirrel chases the dog and the dog is young then the squirrel chases the lion. If something sees the lion then it chases the dog. If something is kind and not blue then it likes the squirrel. If something likes the dog then it likes the squirrel.
The lion is not blue.
@0: The dog sees the squirrel.[(triple1)] The lion chases the dog.[(triple2)] The lion does not chase the squirrel.[(triple3)] The lion does not like the squirrel.[(triple5)] The lion is blue.[(triple4)] The squirrel chases the lion.[(triple6)] The squirrel does not like the lion.[(triple7)] @1: The dog is red.[(((triple2) -> rule4))] The lion chases the lion.[(((triple4) -> rule2))]