Anne is blue. Bob is cold. All rough people are cold. If someone is blue and quiet then they are kind. All nice people are kind. Rough, smart people are not blue. Cold people are nice. Kind people are quiet.
Bob is nice.
@0: Anne is blue.[(triple1)] Bob is cold.[(triple2)] @1: Bob is nice.[(((triple2) -> rule5))] @2: Bob is kind.[(((((triple2) -> rule5)) -> rule3))] @3: Bob is quiet.[(((((((triple2) -> rule5)) -> rule3)) -> rule6))]