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.
Fiona is smart.
@0: Bob is white.[(triple1)] Fiona is nice.[(triple2)] Gary is green.[(triple3)] Harry is blue.[(triple4)] @1: Fiona is not blue.[(((triple2) -> rule1))]