Anne is young. Charlie is nice. Fiona is smart. All smart, young people are round. All nice, young people are smart.
Anne is not round.
@0: Anne is young.[(triple1)] Charlie is nice.[(triple2)] Fiona is smart.[(triple3)]