Gary is furry. Gary is green. Gary is kind. Gary is not nice. Gary is rough. Gary is round. Gary is white. Nice, round people are green. If someone is kind and nice then they are green. If someone is round then they are furry. White, rough people are furry. If someone is nice and rough then they are not furry. All white people are furry. If Gary is not rough then Gary is green. If Gary is rough and Gary is not white then Gary is green.
Gary is green.
@0: Gary is furry.[(triple1 OR ((triple6) -> rule3) OR ((triple7) -> rule6) OR ((triple7 triple5) -> rule4))] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is not nice.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)]