Anne is big. Anne is white. Charlie is round. Dave is big. Dave is white. Fiona is red. Fiona is white. If Dave is white then Dave is cold. All blue, red things are kind.
Dave is not white.
@0: Anne is big.[(triple1)] Anne is white.[(triple2)] Charlie is round.[(triple3)] Dave is big.[(triple4)] Dave is white.[(triple5)] Fiona is red.[(triple6)] Fiona is white.[(triple7)] @1: Dave is cold.[(((triple5) -> rule1))]