Anne is not blue. Anne is furry. Dave is blue. Dave is cold. Dave is not furry. Dave is green. Dave is kind. Dave is red. Dave is young. Fiona is cold. Fiona is not furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is young. If Dave is kind then Dave is red.
Fiona is not blue.
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1)] Dave is blue.[(triple3)] Dave is cold.[(triple4)] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is not furry.[(triple5)] Dave is red.[(triple8 OR ((triple7) -> rule1))] Dave is young.[(triple9)] Fiona is cold.[(triple10)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is not furry.[(triple11)] Fiona is red.[(triple14)] Fiona is young.[(triple15)]