The cow is not rough. Rough people are not young. If the cow is blue then the cow is rough. All kind people are green. Young, blue people are not kind. Rough, green people are kind. If the cow is young then the cow is kind. If the cow is kind then the cow is young. If the cow is not rough then the cow is young.
The cow is not kind.
@0: The cow is not rough.[(triple1)] @1: The cow is young.[(((triple1) -> rule8))] @2: The cow is kind.[(((((triple1) -> rule8)) -> rule6))] @3: The cow is green.[(((((((triple1) -> rule8)) -> rule6)) -> rule3))]