Bob is round. Harry is white. Cold, round people are red. All round people are cold.
Harry is not white.
@0: Bob is round.[(triple1)] Harry is white.[(triple2)] @1: Bob is cold.[(((triple1) -> rule2))] @2: Bob is red.[(((((triple1) -> rule2) triple1) -> rule1))]