Bob is green. Bob is kind. Bob is red. Erin is big. Erin is furry. Gary is white. Harry is white. All white things are furry.
Harry is white.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Gary is white.[(triple6)] Harry is white.[(triple7)] @1: Gary is furry.[(((triple6) -> rule1))] Harry is furry.[(((triple7) -> rule1))]