The cow eats the squirrel. The squirrel sees the cow. If the squirrel eats the cow then the squirrel chases the cow. If someone eats the squirrel then they chase the cow. If someone sees the squirrel then the squirrel is green. If someone sees the cow then they eat the cow. If someone eats the cow and the cow sees the squirrel then the squirrel chases the cow. If someone sees the squirrel then they are young. If someone eats the squirrel and the squirrel chases the cow then the cow is nice. If someone eats the cow then they eat the squirrel.
The cow does not eat the squirrel.
@0: The cow eats the squirrel.[(triple1)] The squirrel sees the cow.[(triple2)] @1: The cow chases the cow.[(((triple1) -> rule2))] The squirrel eats the cow.[(((triple2) -> rule4))] @2: The squirrel chases the cow.[(((((triple2) -> rule4)) -> rule1) OR ((((((triple2) -> rule4)) -> rule8)) -> rule2))] The squirrel eats the squirrel.[(((((triple2) -> rule4)) -> rule8))] @3: The cow is nice.[(((triple1 ((((triple2) -> rule4)) -> rule1)) -> rule7) OR ((((((triple2) -> rule4)) -> rule8) ((((triple2) -> rule4)) -> rule1)) -> rule7) OR ((triple1 ((((((triple2) -> rule4)) -> rule8)) -> rule2)) -> rule7) OR ((((((triple2) -> rule4)) -> rule8) ((((((triple2) -> rule4)) -> rule8)) -> rule2)) -> rule7))]