Charlie is round. Dave is big. Fiona is cold. Harry is white. Cold things are nice.
Charlie is big.
@0: Charlie is round.[(triple1)] Dave is big.[(triple2)] Fiona is cold.[(triple3)] Harry is white.[(triple4)] @1: Fiona is nice.[(((triple3) -> rule1))]