Bob is green. Charlie is furry. Gary is green. If Charlie is quiet then Charlie is blue. All green, blue people are quiet. If someone is white and green then they are blue.
Bob is round.
@0: Bob is green.[(triple1)] Charlie is furry.[(triple2)] Gary is green.[(triple3)]