The rabbit is rough. All nice, red things are cold. All rough, young things are cold. If something is cold and red then it is nice. If something is young then it is nice. If something is rough then it is nice. All red things are rough.
The rabbit is rough.
@0: The rabbit is rough.[(triple1)] @1: The rabbit is nice.[(((triple1) -> rule5))]