Anne is smart. Bob is big. Bob is quiet. Bob is round. Bob is smart. Bob is white. Gary is big. All white, big people are furry. Kind people are quiet.
Anne is white.
@0: Anne is smart.[(triple1)] Bob is big.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Gary is big.[(triple7)] @1: Bob is furry.[(((triple6 triple2) -> rule1))]