Dave is cold. Dave is quiet. Dave is red. Fiona is blue. Fiona is cold. Fiona is rough. Fiona is round. Red people are rough.
Fiona is red.
@0: Dave is cold.[(triple1)] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is rough.[(triple6)] Fiona is round.[(triple7)] @1: Dave is rough.[(((triple3) -> rule1))]