Bob is not white. Dave is furry. Gary is big. Harry is red. If someone is white and not big then they are not young. If someone is white and not furry then they are young. If Dave is blue and Dave is not young then Dave is red.
Harry is not red.
@0: Bob is not white.[(triple1)] Dave is furry.[(triple2)] Gary is big.[(triple3)] Harry is red.[(triple4)]