Bob is smart. Charlie is cold. Dave is quiet. Harry is red. Red people are cold. If someone is white then they are nice. Cold people are white.
Bob is white.
@0: Bob is smart.[(triple1)] Charlie is cold.[(triple2)] Dave is quiet.[(triple3)] Harry is red.[(triple4)] @1: Charlie is white.[(((triple2) -> rule3))] Harry is cold.[(((triple4) -> rule1))] @2: Charlie is nice.[(((((triple2) -> rule3)) -> rule2))] Harry is white.[(((((triple4) -> rule1)) -> rule3))] @3: Harry is nice.[(((((((triple4) -> rule1)) -> rule3)) -> rule2))]