Anne is green. Anne is nice. Anne is young. Charlie is green. Charlie is nice. Charlie is not quiet. Charlie is rough. Charlie is smart. Charlie is not white. Fiona is nice. Fiona is rough. Fiona is young. All smart people are young.
Charlie is not young.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is not quiet.[(triple6)] Charlie is not white.[(triple9)] Charlie is rough.[(triple7)] Charlie is smart.[(triple8)] Fiona is nice.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is young.[(((triple8) -> rule1))]