Dave is green. Gary is round. All young, round things are furry. Blue things are white. All green, white things are smart. All white things are young. If something is round then it is young. All young, green things are white. If something is furry then it is young. If Gary is green and Gary is round then Gary is white.
Dave is not furry.
@0: Dave is green.[(triple1)] Gary is round.[(triple2)] @1: Gary is young.[(((triple2) -> rule5))] @2: Gary is furry.[(((((triple2) -> rule5) triple2) -> rule1))]