Bob is red. Bob is round. Charlie is cold. Charlie is round. Erin is cold. Gary is red. Gary is round. If Gary is furry and Gary is green then Gary is quiet. If Gary is green then Gary is quiet.
Bob is round.
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Charlie is cold.[(triple3)] Charlie is round.[(triple4)] Erin is cold.[(triple5)] Gary is red.[(triple6)] Gary is round.[(triple7)]