Anne is blue. Charlie is round. Gary is quiet. Harry is blue. If someone is kind then they are blue. All kind people are big. All quiet people are round. If Charlie is smart then Charlie is kind. All blue, smart people are kind. All kind people are round.
Gary is not quiet.
@0: Anne is blue.[(triple1)] Charlie is round.[(triple2)] Gary is quiet.[(triple3)] Harry is blue.[(triple4)] @1: Gary is round.[(((triple3) -> rule3))]