Anne is blue. Bob is round. Charlie is smart. If something is round then it is cold. If something is blue then it is round. If something is round and cold then it is white.
Bob is cold.
@0: Anne is blue.[(triple1)] Bob is round.[(triple2)] Charlie is smart.[(triple3)] @1: Anne is round.[(((triple1) -> rule2))] Bob is cold.[(((triple2) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule2)) -> rule1))] Bob is white.[(((triple2 ((triple2) -> rule1)) -> rule3))] @3: Anne is white.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3))]