Anne is cold. Anne is young. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is not red. Charlie is white. Charlie is young. Dave is blue. Dave is white. Dave is young. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is red. If something is white then it is not furry. Red, white things are blue.
Dave is white.
@0: Anne is cold.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is not red.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Dave is blue.[(triple9)] Dave is white.[(triple10)] Dave is young.[(triple11)] Fiona is blue.[(triple12)] Fiona is furry.[(triple13)] Fiona is kind.[(triple14)] Fiona is red.[(triple15)] @1: Charlie is not furry.[(((triple7) -> rule1))] Dave is not furry.[(((triple10) -> rule1))]