Bob is green. Bob is kind. Bob is quiet. Bob is white. Charlie is green. Charlie is quiet. Erin is cold. Erin is kind. Erin is quiet. Erin is white. Gary is quiet. Gary is white. If Erin is young then Erin is green.
Gary is cold.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is white.[(triple4)] Charlie is green.[(triple5)] Charlie is quiet.[(triple6)] Erin is cold.[(triple7)] Erin is kind.[(triple8)] Erin is quiet.[(triple9)] Erin is white.[(triple10)] Gary is quiet.[(triple11)] Gary is white.[(triple12)]