Charlie is furry. Charlie is kind. Charlie is white. Dave is smart. Gary is blue. Gary is furry. Gary is not green. Gary is kind. Gary is smart. Gary is young. If Gary is blue and Gary is furry then Gary is not white. If Gary is young and Gary is not smart then Gary is white. If Charlie is furry then Charlie is blue. If Charlie is kind then Charlie is blue. If Dave is furry then Dave is kind. If something is furry and young then it is kind.
Gary is not green.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is white.[(triple3)] Dave is smart.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is kind.[(triple8 OR ((triple6 triple10) -> rule6))] Gary is not green.[(triple7)] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Charlie is blue.[(((triple1) -> rule3) OR ((triple2) -> rule4))] Gary is not white.[(((triple5 triple6) -> rule1))]