Bob is not blue. Bob is not cold. Bob is furry. Bob is green. Bob is kind. Bob is white. Bob is young. Dave is not blue. Dave is furry. Dave is green. Dave is kind. Dave is young. If Dave is green and Dave is not furry then Dave is not kind. If something is young and not furry then it is kind. All blue things are not kind. If something is blue and furry then it is cold. All young things are not cold. All kind things are not blue.
Dave is kind.
@0: Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is kind.[(triple5)] Bob is not blue.[(triple1 OR ((triple5) -> rule6))] Bob is not cold.[(triple2 OR ((triple7) -> rule5))] Bob is white.[(triple6)] Bob is young.[(triple7)] Dave is furry.[(triple9)] Dave is green.[(triple10)] Dave is kind.[(triple11)] Dave is not blue.[(triple8 OR ((triple11) -> rule6))] Dave is young.[(triple12)] @1: Dave is not cold.[(((triple12) -> rule5))]