Gary is nice. Harry is not nice. If something is blue then it is quiet. If Gary is smart and Gary is nice then Gary is not rough. Smart, quiet things are cold. If something is nice and green then it is rough. If something is green and not smart then it is not rough. If Harry is blue and Harry is green then Harry is nice.
Harry is smart.
@0: Gary is nice.[(triple1)] Harry is not nice.[(triple2)]