The cow chases the squirrel. The cow is kind. The cow is nice. The cow is red. The cow is round. The cow is young. The cow sees the squirrel. The cow visits the squirrel. The squirrel chases the cow. The squirrel is kind. The squirrel is not nice. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel sees the cow. The squirrel visits the cow. If someone is red and they chase the squirrel then the squirrel sees the cow. If someone sees the cow then they chase the squirrel. If someone sees the cow then the cow visits the squirrel. If the squirrel sees the cow and the cow does not chase the squirrel then the squirrel visits the cow. If someone visits the squirrel then the squirrel is young. If the squirrel sees the cow and the squirrel visits the cow then the squirrel is young. If the squirrel is kind and the squirrel is not young then the squirrel does not chase the cow. If someone is young and they chase the cow then they are kind.
The cow is not kind.
@0: The cow chases the squirrel.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow is young.[(triple6)] The cow sees the squirrel.[(triple7)] The cow visits the squirrel.[(triple8 OR ((triple15) -> rule3) OR ((((triple4 triple1) -> rule1)) -> rule3))] The squirrel chases the cow.[(triple9)] The squirrel is kind.[(triple10 OR ((triple14 triple9) -> rule8) OR ((((triple8) -> rule5) triple9) -> rule8) OR ((((triple15 triple16) -> rule6) triple9) -> rule8) OR ((((((triple15) -> rule3)) -> rule5) triple9) -> rule8) OR ((((((triple4 triple1) -> rule1) triple16) -> rule6) triple9) -> rule8) OR ((((((((triple4 triple1) -> rule1)) -> rule3)) -> rule5) triple9) -> rule8))] The squirrel is not nice.[(triple11)] The squirrel is red.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14 OR ((triple8) -> rule5) OR ((triple15 triple16) -> rule6) OR ((((triple15) -> rule3)) -> rule5) OR ((((triple4 triple1) -> rule1) triple16) -> rule6) OR ((((((triple4 triple1) -> rule1)) -> rule3)) -> rule5))] The squirrel sees the cow.[(triple15 OR ((triple4 triple1) -> rule1))] The squirrel visits the cow.[(triple16)] @1: The squirrel chases the squirrel.[(((triple15) -> rule2) OR ((((triple4 triple1) -> rule1)) -> rule2))]