Charlie is green. If Charlie is green then Charlie is quiet. All quiet, green things are smart. Red, rough things are nice. If something is red and not smart then it is nice. Red, smart things are blue. If something is green and not quiet then it is blue.
Charlie is nice.
@0: Charlie is green.[(triple1)] @1: Charlie is quiet.[(((triple1) -> rule1))] @2: Charlie is smart.[(((((triple1) -> rule1) triple1) -> rule2))]