Anne is red. Charlie is quiet. Erin is blue. Gary is round. All smart, red things are blue. If Anne is young and Anne is red then Anne is big. Red things are big.
Anne is young.
@0: Anne is red.[(triple1)] Charlie is quiet.[(triple2)] Erin is blue.[(triple3)] Gary is round.[(triple4)] @1: Anne is big.[(((triple1) -> rule3))]