Bob is nice. Charlie is red. Fiona is red. Harry is rough. Nice people are rough. All nice, blue people are cold. If someone is rough then they are blue.
Harry is kind.
@0: Bob is nice.[(triple1)] Charlie is red.[(triple2)] Fiona is red.[(triple3)] Harry is rough.[(triple4)] @1: Bob is rough.[(((triple1) -> rule1))] Harry is blue.[(((triple4) -> rule3))] @2: Bob is blue.[(((((triple1) -> rule1)) -> rule3))] @3: Bob is cold.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2))]