Anne is young. Bob is blue. Fiona is young. Gary is not quiet. Quiet things are blue. All quiet, smart things are rough. All big, quiet things are rough. All smart, quiet things are big. If Anne is not smart then Anne is blue. All rough things are young. If something is red then it is young. If Bob is not blue then Bob is young.
Gary is not quiet.
@0: Anne is young.[(triple1)] Bob is blue.[(triple2)] Fiona is young.[(triple3)] Gary is not quiet.[(triple4)]