Anne is smart. Anne is young. Charlie is smart. Dave is not blue. Dave is green. Dave is red. Fiona is blue. If Dave is kind and Dave is not green then Dave is red. All kind people are not big. If Dave is smart and Dave is big then Dave is young.
Anne is not young.
@0: Anne is smart.[(triple1)] Anne is young.[(triple2)] Charlie is smart.[(triple3)] Dave is green.[(triple5)] Dave is not blue.[(triple4)] Dave is red.[(triple6)] Fiona is blue.[(triple7)]