Dave is green. Fiona is red. Gary is not nice. Harry is blue. Blue people are red. If Dave is green then Dave is not nice. Nice, red people are not young.
Gary is not red.
@0: Dave is green.[(triple1)] Fiona is red.[(triple2)] Gary is not nice.[(triple3)] Harry is blue.[(triple4)] @1: Dave is not nice.[(((triple1) -> rule2))] Harry is red.[(((triple4) -> rule1))]