Charlie is blue. Charlie is furry. Charlie is nice. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is not nice. Gary is red. Gary is not white. Harry is furry. Harry is green. Harry is not kind. Harry is nice. Harry is not red. Harry is white. All white, nice people are furry. If someone is blue and not furry then they are green.
Harry is green.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Gary is blue.[(triple4)] Gary is furry.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is not nice.[(triple8)] Gary is not white.[(triple10)] Gary is red.[(triple9)] Harry is furry.[(triple11 OR ((triple16 triple14) -> rule1))] Harry is green.[(triple12)] Harry is nice.[(triple14)] Harry is not kind.[(triple13)] Harry is not red.[(triple15)] Harry is white.[(triple16)]