Anne is green. Dave is cold. Fiona is big. Harry is big. If someone is cold then they are big. All young, smart people are green. Smart people are cold.
Fiona is not big.
@0: Anne is green.[(triple1)] Dave is cold.[(triple2)] Fiona is big.[(triple3)] Harry is big.[(triple4)] @1: Dave is big.[(((triple2) -> rule1))]