Anne is green. Anne is kind. Anne is round. Anne is smart. Anne is white. Gary is furry. Gary is green. Gary is round. Gary is smart. Gary is white. Harry is not green. Harry is kind. Harry is not rough. Harry is round. Harry is smart. Harry is not white. Kind, furry people are smart. All green, furry people are white. All rough people are not white. If someone is white and not green then they are rough. White, rough people are furry. If Gary is not kind then Gary is furry. If Gary is rough and Gary is smart then Gary is white. If Anne is white and Anne is not green then Anne is kind.
Gary is not rough.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10 OR ((triple7 triple6) -> rule2))] Harry is kind.[(triple12)] Harry is not green.[(triple11)] Harry is not rough.[(triple13)] Harry is not white.[(triple16)] Harry is round.[(triple14)] Harry is smart.[(triple15)]