Anne is red. Bob is white. Charlie is not blue. Fiona is red. If Bob is cold and Bob is not blue then Bob is not smart. If Anne is cold and Anne is smart then Anne is furry. All furry things are cold. If Anne is red then Anne is cold. All cold things are furry. Furry things are smart.
Charlie is white.
@0: Anne is red.[(triple1)] Bob is white.[(triple2)] Charlie is not blue.[(triple3)] Fiona is red.[(triple4)] @1: Anne is cold.[(((triple1) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule4)) -> rule5))] @3: Anne is smart.[(((((((triple1) -> rule4)) -> rule5)) -> rule6))]