Charlie is furry. Charlie is kind. Charlie is rough. Dave is white. Gary is green. Gary is kind. Gary is round. Kind, blue things are rough. Blue, white things are kind. Furry, white things are blue. Blue, round things are white. Furry things are kind. Kind, green things are round. If something is kind then it is rough. All white, kind things are blue.
Gary is not white.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2 OR ((triple1) -> rule5))] Charlie is rough.[(triple3 OR ((triple2) -> rule7) OR ((((triple1) -> rule5)) -> rule7))] Dave is white.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is round.[(triple7 OR ((triple6 triple5) -> rule6))] @1: Gary is rough.[(((triple6) -> rule7))]