Anne is furry. Anne is red. Anne is white. Charlie is cold. Charlie is not furry. Charlie is kind. Charlie is white. Dave is cold. Dave is not furry. Dave is not kind. Dave is quiet. Dave is red. Gary is kind. Gary is red. Gary is smart. Kind, furry things are not cold. All red, furry things are not cold. Cold things are smart. If something is smart and not kind then it is not white. If Gary is furry and Gary is quiet then Gary is not white. If something is white and furry then it is red. If Dave is cold and Dave is not red then Dave is quiet. If Charlie is smart and Charlie is not cold then Charlie is quiet.
Dave is white.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2 OR ((triple3 triple1) -> rule6))] Anne is white.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple6)] Charlie is not furry.[(triple5)] Charlie is white.[(triple7)] Dave is cold.[(triple8)] Dave is not furry.[(triple9)] Dave is not kind.[(triple10)] Dave is quiet.[(triple11)] Dave is red.[(triple12)] Gary is kind.[(triple13)] Gary is red.[(triple14)] Gary is smart.[(triple15)] @1: Anne is not cold.[(((triple2 triple1) -> rule2) OR ((((triple3 triple1) -> rule6) triple1) -> rule2))] Charlie is smart.[(((triple4) -> rule3))] Dave is smart.[(((triple8) -> rule3))] @2: Dave is not white.[(((((triple8) -> rule3) triple10) -> rule4))]