Bob is kind. Harry is white. Red, blue people are green. If someone is green and red then they are kind. White people are kind. All green people are furry. Kind, white people are green. Furry, green people are blue.
Harry is white.
@0: Bob is kind.[(triple1)] Harry is white.[(triple2)] @1: Harry is kind.[(((triple2) -> rule3))] @2: Harry is green.[(((((triple2) -> rule3) triple2) -> rule5))] @3: Harry is furry.[(((((((triple2) -> rule3) triple2) -> rule5)) -> rule4))] @4: Harry is blue.[(((((((((triple2) -> rule3) triple2) -> rule5)) -> rule4) ((((triple2) -> rule3) triple2) -> rule5)) -> rule6))]