Charlie is red. If something is cold and rough then it is red. If Charlie is red then Charlie is young. Young, furry things are blue. If Charlie is furry and Charlie is rough then Charlie is big. If Charlie is young then Charlie is cold. If Charlie is blue then Charlie is big.
Charlie is furry.
@0: Charlie is red.[(triple1)] @1: Charlie is young.[(((triple1) -> rule2))] @2: Charlie is cold.[(((((triple1) -> rule2)) -> rule5))]