Fiona is green. Harry is big. If someone is big then they are green. All furry, blue people are green.
Fiona is green.
@0: Fiona is green.[(triple1)] Harry is big.[(triple2)] @1: Harry is green.[(((triple2) -> rule1))]