Dave is young. Erin is nice. Harry is not cold. If something is nice then it is cold.
Dave is big.
@0: Dave is young.[(triple1)] Erin is nice.[(triple2)] Harry is not cold.[(triple3)] @1: Erin is cold.[(((triple2) -> rule1))]