Bob is rough. Erin is round. Harry is round. If something is blue then it is cold. Rough things are blue. Cold things are red.
Bob is not blue.
@0: Bob is rough.[(triple1)] Erin is round.[(triple2)] Harry is round.[(triple3)] @1: Bob is blue.[(((triple1) -> rule2))] @2: Bob is cold.[(((((triple1) -> rule2)) -> rule1))] @3: Bob is red.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))]