Charlie is blue. Charlie is smart. Charlie is white. If Charlie is smart and Charlie is green then Charlie is rough. If Charlie is furry and Charlie is nice then Charlie is white. All smart, blue things are green. If something is green and not nice then it is not white. If something is nice and white then it is furry. If something is furry and not white then it is rough.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Charlie is smart.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is green.[(((triple2 triple1) -> rule3))] @2: Charlie is rough.[(((triple2 ((triple2 triple1) -> rule3)) -> rule1))]