Dave is not blue. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is white. Dave is young. Fiona is not blue. Fiona is cold. Fiona is not green. Fiona is kind. Fiona is red. Fiona is white. Fiona is young. All blue, green things are not white. Red things are white. If something is kind and not young then it is red.
Fiona is blue.
@0: Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is not blue.[(triple1)] Dave is red.[(triple5)] Dave is white.[(triple6 OR ((triple5) -> rule2))] Dave is young.[(triple7)] Fiona is cold.[(triple9)] Fiona is kind.[(triple11)] Fiona is not blue.[(triple8)] Fiona is not green.[(triple10)] Fiona is red.[(triple12)] Fiona is white.[(triple13 OR ((triple12) -> rule2))] Fiona is young.[(triple14)]