Dave is red. Fiona is white. Harry is not white. If someone is white and furry then they are kind. Cold, kind people are white. If Dave is round then Dave is blue. If someone is round then they are blue. If someone is round and not white then they are not blue. All kind, red people are round. If someone is cold and not white then they are round. Furry people are round.
Dave is not red.
@0: Dave is red.[(triple1)] Fiona is white.[(triple2)] Harry is not white.[(triple3)]