Charlie is green. Charlie is kind. Charlie is nice. All cold things are kind. Kind, nice things are quiet. Nice, round things are quiet. All kind, round things are quiet. Green, quiet things are young. If something is cold and not kind then it is young. If something is kind and not green then it is young. If Charlie is young and Charlie is not round then Charlie is quiet.
Charlie is cold.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] @1: Charlie is quiet.[(((triple2 triple3) -> rule2))] @2: Charlie is young.[(((triple1 ((triple2 triple3) -> rule2)) -> rule5))]