The cow chases the squirrel. The cow is blue. The cow sees the lion. The lion chases the cow. The lion chases the squirrel. The squirrel is not blue. The squirrel likes the cow. If someone sees the lion and the lion is kind then they are red. If someone chases the lion and they are not blue then they see the squirrel. If someone chases the squirrel then the squirrel sees the lion. If someone is red then they see the cow. If someone sees the cow then they do not like the cow. If the lion sees the squirrel then the lion likes the cow. If someone chases the cow then the cow is red. If the squirrel chases the cow and the squirrel does not like the cow then the cow is young.
The cow likes the cow.
@0: The cow chases the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow sees the lion.[(triple3)] The lion chases the cow.[(triple4)] The lion chases the squirrel.[(triple5)] The squirrel is not blue.[(triple6)] The squirrel likes the cow.[(triple7)] @1: The cow is red.[(((triple4) -> rule7))] The squirrel sees the lion.[(((triple1) -> rule3) OR ((triple5) -> rule3))] @2: The cow sees the cow.[(((((triple4) -> rule7)) -> rule4))] @3: The cow does not like the cow.[(((((((triple4) -> rule7)) -> rule4)) -> rule5))]