The cow is red. Red people are nice. If the cow is round then the cow is kind. If the cow is nice then the cow is kind. All young people are nice. Young people are red. If the cow is kind then the cow is nice. Young, red people are nice. Round, nice people are young.
The cow is not young.
@0: The cow is red.[(triple1)] @1: The cow is nice.[(((triple1) -> rule1))] @2: The cow is kind.[(((((triple1) -> rule1)) -> rule3))]