Dave is cold. Dave is green. Dave is kind. Gary is not blue. Gary is cold. Gary is not furry. Gary is green. Gary is kind. Gary is nice. Gary is not white. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is white. All nice things are kind. All kind, furry things are white. White things are cold. If Gary is white and Gary is not kind then Gary is not cold. If Harry is kind then Harry is cold. If Harry is furry and Harry is not kind then Harry is cold.
Dave is not green.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Gary is cold.[(triple5)] Gary is green.[(triple7)] Gary is kind.[(triple8 OR ((triple9) -> rule1))] Gary is nice.[(triple9)] Gary is not blue.[(triple4)] Gary is not furry.[(triple6)] Gary is not white.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12 OR ((triple15) -> rule5) OR ((triple16) -> rule3) OR ((((triple15 triple13) -> rule2)) -> rule3))] Harry is furry.[(triple13)] Harry is green.[(triple14)] Harry is kind.[(triple15)] Harry is white.[(triple16 OR ((triple15 triple13) -> rule2))]