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