The cat sees the cow. The cow is kind. If the cow needs the cat and the cat sees the cow then the cow chases the cat. If something sees the cow then it chases the cat. If something needs the cow and it is kind then it chases the cow. If something is green and big then it chases the cat. If something sees the cow then it is young. If something is kind then it is young. Young things are kind. If the cow sees the cat and the cat chases the cow then the cow chases the cat.
The cat does not chase the cow.
@0: The cat sees the cow.[(triple1)] The cow is kind.[(triple2)] @1: The cat chases the cat.[(((triple1) -> rule2))] The cat is young.[(((triple1) -> rule5))] The cow is young.[(((triple2) -> rule6))] @2: The cat is kind.[(((((triple1) -> rule5)) -> rule7))]