Charlie is green. Charlie is kind. Charlie is young. Red things are nice. Green things are nice. Green, blue things are young. Nice things are red. All red things are not smart. Nice, smart things are blue.
Charlie is not smart.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is young.[(triple3)] @1: Charlie is nice.[(((triple1) -> rule2))] @2: Charlie is red.[(((((triple1) -> rule2)) -> rule4))] @3: Charlie is not smart.[(((((((triple1) -> rule2)) -> rule4)) -> rule5))]