Gary is blue. Gary is furry. Gary is quiet. Gary is round. Gary is smart. Gary is white. Gary is young. Young, round people are smart.
Gary is not furry.
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2)] Gary is quiet.[(triple3)] Gary is round.[(triple4)] Gary is smart.[(triple5 OR ((triple7 triple4) -> rule1))] Gary is white.[(triple6)] Gary is young.[(triple7)]