Anne is not quiet. Dave is not cold. Erin is furry. Harry is cold. If Dave is not quiet then Dave is furry. If Anne is not cold then Anne is kind. If Anne is furry and Anne is not kind then Anne is quiet. If someone is kind and not big then they are white. Cold people are white. If someone is smart and not kind then they are not white.
Erin is not white.
@0: Anne is not quiet.[(triple1)] Dave is not cold.[(triple2)] Erin is furry.[(triple3)] Harry is cold.[(triple4)] @1: Harry is white.[(((triple4) -> rule5))]