Anne is white. Bob is quiet. Bob is smart. Dave is furry. Harry is cold. Harry is round. Harry is smart. All cold people are white.
Anne is round.
@0: Anne is white.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Dave is furry.[(triple4)] Harry is cold.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)] @1: Harry is white.[(((triple5) -> rule1))]