Charlie is green. If something is nice then it is not young. White, nice things are young. All big, white things are smart. All blue things are smart. If something is green then it is nice. If something is blue then it is white. If Charlie is nice and Charlie is blue then Charlie is smart. If something is green and smart then it is not blue.
Charlie is green.
@0: Charlie is green.[(triple1)] @1: Charlie is nice.[(((triple1) -> rule5))] @2: Charlie is not young.[(((((triple1) -> rule5)) -> rule1))]