Anne is green. Charlie is red. Dave is furry. Fiona is red. If Charlie is round and Charlie is furry then Charlie is quiet.
Charlie is red.
@0: Anne is green.[(triple1)] Charlie is red.[(triple2)] Dave is furry.[(triple3)] Fiona is red.[(triple4)]