Bob is white. Fiona is nice. Gary is green. Harry is blue. Nice things are not blue. Smart, white things are green. All smart things are quiet.
Gary is not quiet.
@0: Bob is white.[(triple1)] Fiona is nice.[(triple2)] Gary is green.[(triple3)] Harry is blue.[(triple4)] @1: Fiona is not blue.[(((triple2) -> rule1))]