Charlie is blue. If Charlie is big then Charlie is nice. If Charlie is blue then Charlie is rough. If something is rough then it is big. Cold things are nice. If something is blue and not nice then it is not red. All red, rough things are not young.
Charlie is nice.
@0: Charlie is blue.[(triple1)] @1: Charlie is rough.[(((triple1) -> rule2))] @2: Charlie is big.[(((((triple1) -> rule2)) -> rule3))] @3: Charlie is nice.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]