Gary is big. Gary is furry. Gary is kind. Gary is rough. Gary is round. Gary is white. Gary is young. Furry, white people are big. All big, young people are round. White, round people are young.
Gary is kind.
@0: Gary is big.[(triple1 OR ((triple2 triple6) -> rule1))] Gary is furry.[(triple2)] Gary is kind.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5 OR ((triple1 triple7) -> rule2) OR ((((triple2 triple6) -> rule1) triple7) -> rule2))] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple6 triple5) -> rule3))]