Anne is young. Bob is rough. Harry is smart. All smart, white things are rough. White, smart things are green.
Anne is not green.
@0: Anne is young.[(triple1)] Bob is rough.[(triple2)] Harry is smart.[(triple3)]