Anne is young. Dave is blue. Dave is nice. Dave is red. Fiona is cold. Fiona is red. Harry is cold. All green, red people are young. Nice, young people are white. All cold, nice people are young. All cold people are blue. All cold, young people are red. Young, red people are nice.
Dave is not young.
@0: Anne is young.[(triple1)] Dave is blue.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Fiona is cold.[(triple5)] Fiona is red.[(triple6)] Harry is cold.[(triple7)] @1: Fiona is blue.[(((triple5) -> rule4))] Harry is blue.[(((triple7) -> rule4))]