Anne is furry. Bob is blue. Gary is blue. Gary is white. Gary is young. Harry is furry. Harry is white. Green people are blue. All blue people are kind.
Gary is white.
@0: Anne is furry.[(triple1)] Bob is blue.[(triple2)] Gary is blue.[(triple3)] Gary is white.[(triple4)] Gary is young.[(triple5)] Harry is furry.[(triple6)] Harry is white.[(triple7)] @1: Bob is kind.[(((triple2) -> rule2))] Gary is kind.[(((triple3) -> rule2))]