Anne is blue. Bob is kind. Dave is kind. Harry is white. All green, kind things are not blue. If Bob is nice and Bob is not kind then Bob is green. If something is nice then it is young. If something is young then it is not quiet. If Dave is young then Dave is kind. If something is blue then it is white. Nice things are white. If Harry is white and Harry is nice then Harry is not blue.
Anne is not young.
@0: Anne is blue.[(triple1)] Bob is kind.[(triple2)] Dave is kind.[(triple3)] Harry is white.[(triple4)] @1: Anne is white.[(((triple1) -> rule6))]