Fiona is cold. Gary is furry. Harry is big. Cold things are big. All nice things are furry.
Fiona is nice.
@0: Fiona is cold.[(triple1)] Gary is furry.[(triple2)] Harry is big.[(triple3)] @1: Fiona is big.[(((triple1) -> rule1))]