Anne is smart. Anne is white. Harry is furry. White people are young. All smart, white people are cold. If someone is white then they are cold. If someone is smart then they are furry. All furry, white people are quiet. If someone is young and kind then they are quiet.
Anne is kind.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Harry is furry.[(triple3)] @1: Anne is cold.[(((triple2) -> rule3) OR ((triple1 triple2) -> rule2))] Anne is furry.[(((triple1) -> rule4))] Anne is young.[(((triple2) -> rule1))] @2: Anne is quiet.[(((((triple1) -> rule4) triple2) -> rule5))]