Charlie is blue. Gary is quiet. If Charlie is round and Charlie is nice then Charlie is blue. Smart, round things are kind. If something is round then it is blue. If something is white and not quiet then it is nice. White, blue things are nice. Quiet things are white.
Gary is quiet.
@0: Charlie is blue.[(triple1)] Gary is quiet.[(triple2)] @1: Gary is white.[(((triple2) -> rule6))]