Dave is cold. Erin is big. Erin is cold. Erin is not green. Fiona is cold. Fiona is green. Gary is big. Gary is blue. Gary is cold. Gary is red. If Fiona is not green then Fiona is quiet.
Gary is big.
@0: Dave is cold.[(triple1)] Erin is big.[(triple2)] Erin is cold.[(triple3)] Erin is not green.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is red.[(triple10)]