The cow is green. If someone is green then they are kind. If someone is round and green then they are kind. If someone is young and round then they are not red. If someone is round and kind then they are green. If someone is kind and young then they are round. Kind people are young.
The cow sees the cow.
@0: The cow is green.[(triple1)] @1: The cow is kind.[(((triple1) -> rule1))] @2: The cow is young.[(((((triple1) -> rule1)) -> rule6))] @3: The cow is round.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule6)) -> rule5))] @4: The cow is not red.[(((((((triple1) -> rule1)) -> rule6) ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule6)) -> rule5)) -> rule3))]