Anne is blue. Bob is big. Charlie is quiet. Blue things are cold. If something is cold then it is quiet. All quiet, furry things are big. If Charlie is big then Charlie is rough. If something is cold and nice then it is furry. Cold, rough things are nice.
Charlie is quiet.
@0: Anne is blue.[(triple1)] Bob is big.[(triple2)] Charlie is quiet.[(triple3)] @1: Anne is cold.[(((triple1) -> rule1))] @2: Anne is quiet.[(((((triple1) -> rule1)) -> rule2))]