Dave is not big. Fiona is not cold. Harry is not big. If Harry is rough and Harry is red then Harry is green. If someone is rough then they are white. All red people are green.
Dave is not green.
@0: Dave is not big.[(triple1)] Fiona is not cold.[(triple2)] Harry is not big.[(triple3)]