Erin is not white. Fiona is big. Harry is cold. Cold things are big. If Fiona is white then Fiona is not cold. If something is furry then it is red.
Fiona is not red.
@0: Erin is not white.[(triple1)] Fiona is big.[(triple2)] Harry is cold.[(triple3)] @1: Harry is big.[(((triple3) -> rule1))]