Bob is big. Fiona is big. Harry is green. If Fiona is furry and Fiona is rough then Fiona is smart. If something is green then it is not furry.
Fiona is not smart.
@0: Bob is big.[(triple1)] Fiona is big.[(triple2)] Harry is green.[(triple3)] @1: Harry is not furry.[(((triple3) -> rule2))]