Charlie is green. Fiona is green. Harry is rough. If Fiona is green then Fiona is furry. Cold, nice things are not green. Nice, smart things are green.
Fiona is furry.
@0: Charlie is green.[(triple1)] Fiona is green.[(triple2)] Harry is rough.[(triple3)] @1: Fiona is furry.[(((triple2) -> rule1))]