The dog is kind. The dog likes the lion. The dog sees the squirrel. The lion chases the dog. The lion likes the dog. The lion likes the squirrel. The lion sees the squirrel. The squirrel chases the dog. The squirrel chases the lion. The squirrel is cold. The squirrel is kind. The squirrel is round. The squirrel is young. The squirrel likes the dog. The squirrel sees the dog. The squirrel sees the lion. If someone likes the squirrel then the squirrel is young. If someone chases the lion then they like the squirrel. If someone chases the lion then they see the lion. If the lion likes the dog then the lion sees the squirrel. If the lion is round and the lion is young then the lion sees the squirrel. If someone is young and they chase the squirrel then they are cold. If the dog chases the lion and the lion chases the dog then the lion sees the dog. If someone likes the dog then the dog is round.
The lion does not see the lion.
@0: The dog is kind.[(triple1)] The dog likes the lion.[(triple2)] The dog sees the squirrel.[(triple3)] The lion chases the dog.[(triple4)] The lion likes the dog.[(triple5)] The lion likes the squirrel.[(triple6)] The lion sees the squirrel.[(triple7 OR ((triple5) -> rule4))] The squirrel chases the dog.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is round.[(triple12)] The squirrel is young.[(triple13 OR ((triple6) -> rule1) OR ((((triple9) -> rule2)) -> rule1))] The squirrel likes the dog.[(triple14)] The squirrel sees the dog.[(triple15)] The squirrel sees the lion.[(triple16 OR ((triple9) -> rule3))] @1: The dog is round.[(((triple14) -> rule8) OR ((triple5) -> rule8))] The squirrel likes the squirrel.[(((triple9) -> rule2))]