Charlie is round. Erin is green. Fiona is round. Gary is quiet. If someone is round and quiet then they are red. If someone is quiet and nice then they are white.
Charlie is not white.
@0: Charlie is round.[(triple1)] Erin is green.[(triple2)] Fiona is round.[(triple3)] Gary is quiet.[(triple4)]