Anne is furry. Anne is round. Anne is white. Bob is furry. Bob is green. Bob is young. Dave is green. Gary is not furry. Gary is green. Gary is quiet. Furry, round people are smart.
Bob is green.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is young.[(triple6)] Dave is green.[(triple7)] Gary is green.[(triple9)] Gary is not furry.[(triple8)] Gary is quiet.[(triple10)] @1: Anne is smart.[(((triple1 triple2) -> rule1))]