Erin is red. Fiona is round. Gary is red. All green, red things are young. All green things are young. If something is blue then it is round. If something is cold and young then it is green. All blue things are young. If Fiona is blue then Fiona is round. If something is young and red then it is blue. All young things are green.
Erin is red.
@0: Erin is red.[(triple1)] Fiona is round.[(triple2)] Gary is red.[(triple3)]