Anne is smart. Charlie is young. All young things are not quiet. Rough things are quiet. If Charlie is rough then Charlie is smart. If Charlie is not furry then Charlie is not nice. All nice things are not young. Smart, kind things are young. Nice, smart things are young. All furry, smart things are rough.
Charlie is not quiet.
@0: Anne is smart.[(triple1)] Charlie is young.[(triple2)] @1: Charlie is not quiet.[(((triple2) -> rule1))]