Bob is green. Dave is white. Fiona is kind. Gary is red. All white things are blue.
Dave is not kind.
@0: Bob is green.[(triple1)] Dave is white.[(triple2)] Fiona is kind.[(triple3)] Gary is red.[(triple4)] @1: Dave is blue.[(((triple2) -> rule1))]