Anne is furry. Charlie is not furry. Fiona is blue. Gary is big. If Charlie is white and Charlie is blue then Charlie is cold. Cold things are big. Furry, quiet things are white.
Anne is not white.
@0: Anne is furry.[(triple1)] Charlie is not furry.[(triple2)] Fiona is blue.[(triple3)] Gary is big.[(triple4)]