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