The cow chases the squirrel. The cow is kind. The cow visits the rabbit. The rabbit sees the squirrel. The rabbit visits the cow. The squirrel chases the rabbit. The squirrel is blue. The squirrel is kind. The squirrel is red. The squirrel sees the cow. The squirrel sees the rabbit. The squirrel visits the cow. If someone is red and they chase the rabbit then the rabbit sees the squirrel. If someone chases the rabbit then the rabbit sees the cow.
The squirrel chases the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow is kind.[(triple2)] The cow visits the rabbit.[(triple3)] The rabbit sees the squirrel.[(triple4 OR ((triple9 triple6) -> rule1))] The rabbit visits the cow.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is red.[(triple9)] The squirrel sees the cow.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel visits the cow.[(triple12)] @1: The rabbit sees the cow.[(((triple6) -> rule2))]