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