big,   red,  circle,   No
small, red,  triangle, No
small, red,  circle,   Yes
big,   blue, circle,   No
small, blue, circle    Yes

G1 = {<?, ?, ?>}
S1 = {<0, 0, 0>}

G2 = {<small, ? , ?>, <?, blue, ?>, <?, ?, triangle>}
S2 = S1 = {<0, 0, 0>}

G3 = {<small, blue, ?>, <small, ? circle>, <?, blue, ?>, <big, ?, triangle>, <?, blue, triangle>}

G3 = {<small, ? circle>, <?, blue, ?>, <big, ?, triangle>}
S3 = {<0, 0, 0>}

G4 = {<small, ?, circle>}
S4 = {<small, red, circle>}

G5 = G4 = {<small, ?, circle>}
S5 = S4 = {<small, red, circle>}

G5 = {<small, ?, circle>}
S5 = {<small, ?, circle>}