Dave is young. Fiona is not big. Harry is quiet. All big people are nice. If Fiona is young and Fiona is white then Fiona is red.
Dave is young.
@0: Dave is young.[(triple1)] Fiona is not big.[(triple2)] Harry is quiet.[(triple3)]