The cow is cold. If someone is cold then they are nice. Young people are nice. All nice people are green. Cold, kind people are not young. If someone is green then they are not young. Young people are cold. If someone is green then they are cold. All nice, young people are cold.
The cow is not young.
@0: The cow is cold.[(triple1)] @1: The cow is nice.[(((triple1) -> rule1))] @2: The cow is green.[(((((triple1) -> rule1)) -> rule3))] @3: The cow is not young.[(((((((triple1) -> rule1)) -> rule3)) -> rule5))]