Anne is smart. Charlie is green. Charlie is kind. If someone is quiet and not rough then they are not green. If someone is smart then they are green. If Charlie is quiet then Charlie is young. All smart, young people are not quiet. All quiet people are smart. All quiet people are kind.
Charlie is not smart.
@0: Anne is smart.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] @1: Anne is green.[(((triple1) -> rule2))]