Bob is cold. Bob is not green. Bob is kind. Bob is not smart. Dave is cold. Dave is not furry. Dave is green. Dave is kind. Dave is not rough. Dave is white. Gary is cold. Gary is furry. Gary is kind. Gary is not rough. Gary is smart. Gary is not white. If Dave is kind and Dave is not rough then Dave is smart. White things are cold. If something is cold and not kind then it is smart. If something is kind and rough then it is smart. If Bob is white and Bob is not rough then Bob is cold. If something is smart and not kind then it is green.
Gary is white.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple3)] Bob is not green.[(triple2)] Bob is not smart.[(triple4)] Dave is cold.[(triple5 OR ((triple10) -> rule2))] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is not furry.[(triple6)] Dave is not rough.[(triple9)] Dave is white.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is not rough.[(triple14)] Gary is not white.[(triple16)] Gary is smart.[(triple15)] @1: Dave is smart.[(((triple8 triple9) -> rule1))]