The cow is kind. All young things are rough. Kind things are rough. All red, young things are not rough. If something is young then it is not rough. Red things are rough. If something is cold then it is red.
The cow is not kind.
@0: The cow is kind.[(triple1)] @1: The cow is rough.[(((triple1) -> rule2))]