Dave is blue. Fiona is big. Fiona is green. Fiona is red. Fiona is not round. Gary is cold. Harry is blue. All cold people are red. Red people are green.
Gary is red.
@0: Dave is blue.[(triple1)] Fiona is big.[(triple2)] Fiona is green.[(triple3 OR ((triple4) -> rule2))] Fiona is not round.[(triple5)] Fiona is red.[(triple4)] Gary is cold.[(triple6)] Harry is blue.[(triple7)] @1: Gary is red.[(((triple6) -> rule1))] @2: Gary is green.[(((((triple6) -> rule1)) -> rule2))]