Charlie is young. Dave is not furry. Young, smart things are rough. Round things are rough. All young things are green. Nice things are not young. All green things are young. Smart things are nice. All smart, young things are nice. Nice, smart things are not round.
Charlie is not young.
@0: Charlie is young.[(triple1)] Dave is not furry.[(triple2)] @1: Charlie is green.[(((triple1) -> rule3))]