Anne is blue. Anne is nice. Anne is young. Dave is kind. Dave is not nice. Dave is white. Dave is not young. Fiona is furry. Fiona is not kind. Fiona is nice. Fiona is red. Harry is not blue. Harry is furry. Harry is kind. Harry is not red. Harry is white. If Dave is blue then Dave is red. If Harry is red then Harry is white. If something is white then it is kind.
Anne is not kind.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Dave is kind.[(triple4 OR ((triple6) -> rule3))] Dave is not nice.[(triple5)] Dave is not young.[(triple7)] Dave is white.[(triple6)] Fiona is furry.[(triple8)] Fiona is nice.[(triple10)] Fiona is not kind.[(triple9)] Fiona is red.[(triple11)] Harry is furry.[(triple13)] Harry is kind.[(triple14 OR ((triple16) -> rule3))] Harry is not blue.[(triple12)] Harry is not red.[(triple15)] Harry is white.[(triple16)]