Bob is rough. Dave is green. Fiona is nice. Harry is rough. All quiet things are big. If Dave is nice and Dave is not white then Dave is not green.
Fiona is not big.
@0: Bob is rough.[(triple1)] Dave is green.[(triple2)] Fiona is nice.[(triple3)] Harry is rough.[(triple4)]