Anne is blue. Anne is cold. Anne is kind. Anne is white. Anne is young. Charlie is cold. Dave is blue. Dave is round. Dave is white. Fiona is cold. Fiona is round. Fiona is young. If someone is round and white then they are young. Red, cold people are blue.
Dave is not young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Charlie is cold.[(triple6)] Dave is blue.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Fiona is cold.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Dave is young.[(((triple8 triple9) -> rule1))]