Dave is nice. Dave is smart. Fiona is nice. Fiona is rough. Gary is cold. Gary is nice. Gary is red. All smart, rough things are red. All nice things are green.
Fiona is nice.
@0: Dave is nice.[(triple1)] Dave is smart.[(triple2)] Fiona is nice.[(triple3)] Fiona is rough.[(triple4)] Gary is cold.[(triple5)] Gary is nice.[(triple6)] Gary is red.[(triple7)] @1: Dave is green.[(((triple1) -> rule2))] Fiona is green.[(((triple3) -> rule2))] Gary is green.[(((triple6) -> rule2))]