Anne is cold. Bob is rough. Fiona is red. Kind, white things are young. If something is white and rough then it is young. All red things are kind. If something is cold and rough then it is red. Rough things are white. Red things are young. Blue, young things are kind. If something is red and rough then it is kind.
Bob is blue.
@0: Anne is cold.[(triple1)] Bob is rough.[(triple2)] Fiona is red.[(triple3)] @1: Bob is white.[(((triple2) -> rule5))] Fiona is kind.[(((triple3) -> rule3))] Fiona is young.[(((triple3) -> rule6))] @2: Bob is young.[(((((triple2) -> rule5) triple2) -> rule2))]