Bob is blue. Charlie is white. Harry is furry. Furry people are white. If Charlie is furry and Charlie is blue then Charlie is green. All white people are green.
Harry is not young.
@0: Bob is blue.[(triple1)] Charlie is white.[(triple2)] Harry is furry.[(triple3)] @1: Charlie is green.[(((triple2) -> rule3))] Harry is white.[(((triple3) -> rule1))] @2: Harry is green.[(((((triple3) -> rule1)) -> rule3))]