Anne is nice. Charlie is rough. Quiet, nice things are green. If Anne is green and Anne is red then Anne is nice. If something is nice and quiet then it is green. Kind things are rough. All nice things are rough. If something is green then it is quiet. If something is kind then it is rough. Young, green things are rough.
Charlie is not quiet.
@0: Anne is nice.[(triple1)] Charlie is rough.[(triple2)] @1: Anne is rough.[(((triple1) -> rule5))]