Dave is smart. Fiona is rough. Gary is nice. Harry is nice. Nice things are blue.
Harry is not blue.
@0: Dave is smart.[(triple1)] Fiona is rough.[(triple2)] Gary is nice.[(triple3)] Harry is nice.[(triple4)] @1: Gary is blue.[(((triple3) -> rule1))] Harry is blue.[(((triple4) -> rule1))]