Anne is furry. Anne is green. Anne is nice. Anne is smart. Anne is not white. Erin is cold. Erin is green. Erin is nice. Erin is smart. Erin is not young. Gary is not smart. Gary is not white. All white things are cold. All young things are nice. If something is young and not furry then it is nice. All young, white things are smart. Young, furry things are not smart. If Gary is furry then Gary is not young. If something is white and not cold then it is not green. All smart, furry things are green.
Erin is furry.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2 OR ((triple4 triple1) -> rule8))] Anne is nice.[(triple3)] Anne is not white.[(triple5)] Anne is smart.[(triple4)] Erin is cold.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is not young.[(triple10)] Erin is smart.[(triple9)] Gary is not smart.[(triple11)] Gary is not white.[(triple12)]