Anne is nice. Bob is nice. Dave is nice. Fiona is blue. If someone is white and cold then they are nice. If someone is kind then they are round. If someone is round and cold then they are blue. All quiet people are cold. Kind people are cold. All blue, white people are cold. If someone is blue and quiet then they are kind. If Anne is kind and Anne is cold then Anne is white.
Bob is white.
@0: Anne is nice.[(triple1)] Bob is nice.[(triple2)] Dave is nice.[(triple3)] Fiona is blue.[(triple4)]