Anne is rough. Dave is cold. Fiona is red. Harry is big. Cold things are round.
Dave is not round.
@0: Anne is rough.[(triple1)] Dave is cold.[(triple2)] Fiona is red.[(triple3)] Harry is big.[(triple4)] @1: Dave is round.[(((triple2) -> rule1))]