Anne is white. Dave is white. Fiona is white. All blue people are cold. If Anne is kind then Anne is blue. Cold people are nice. If someone is blue then they are nice. Big people are nice. All nice people are cold. If Anne is white and Anne is nice then Anne is kind. If someone is big then they are nice.
Dave is big.
@0: Anne is white.[(triple1)] Dave is white.[(triple2)] Fiona is white.[(triple3)]