Anne is blue. Anne is round. Bob is furry. Bob is round. Bob is white. Charlie is blue. Charlie is round. Charlie is not young. Gary is blue. Gary is furry. Gary is round. Gary is young. If something is round and not white then it is not furry. All furry, white things are blue.
Bob is round.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Bob is furry.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is not young.[(triple8)] Charlie is round.[(triple7)] Gary is blue.[(triple9)] Gary is furry.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Bob is blue.[(((triple3 triple5) -> rule2))]