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 not nice.
@0: Dave is young.[(triple1)] Fiona is not big.[(triple2)] Harry is quiet.[(triple3)]