The cat is round. The cow is green. If someone is round then they chase the cow. If someone is red then they do not chase the cow. If the cat chases the cow then the cat is young. If someone is young then they chase the cat. If someone sees the cat and they do not chase the cow then the cow chases the cat. If someone chases the cat and the cat chases the cow then the cat does not eat the cow.
The cow does not chase the cat.
@0: The cat is round.[(triple1)] The cow is green.[(triple2)] @1: The cat chases the cow.[(((triple1) -> rule1))] @2: The cat is young.[(((((triple1) -> rule1)) -> rule3))] @3: The cat chases the cat.[(((((((triple1) -> rule1)) -> rule3)) -> rule4))] @4: The cat does not eat the cow.[(((((((((triple1) -> rule1)) -> rule3)) -> rule4) ((triple1) -> rule1)) -> rule6))]