Bob is blue. Fiona is white. Harry is green. All blue, green people are nice. Green people are furry.
Fiona is not green.
@0: Bob is blue.[(triple1)] Fiona is white.[(triple2)] Harry is green.[(triple3)] @1: Harry is furry.[(((triple3) -> rule2))]