Bob is red. Dave is white. Fiona is not red. Gary is round. If something is furry and not white then it is red. If Dave is furry and Dave is white then Dave is young.
Dave is white.
@0: Bob is red.[(triple1)] Dave is white.[(triple2)] Fiona is not red.[(triple3)] Gary is round.[(triple4)]