Anne is smart. Charlie is quiet. Gary is young. Harry is blue. If Harry is smart then Harry is quiet. All nice people are blue. Smart people are young. If someone is red then they are nice. Nice, blue people are red. Smart, white people are quiet.
Charlie is white.
@0: Anne is smart.[(triple1)] Charlie is quiet.[(triple2)] Gary is young.[(triple3)] Harry is blue.[(triple4)] @1: Anne is young.[(((triple1) -> rule3))]