Bob is green. Fiona is white. Harry is green. If someone is big then they are green. If Fiona is smart then Fiona is blue. All smart people are quiet.
Fiona is not green.
@0: Bob is green.[(triple1)] Fiona is white.[(triple2)] Harry is green.[(triple3)]