Anne is furry. Anne is kind. Anne is nice. Dave is not blue. Dave is cold. Dave is furry. Dave is not green. Dave is kind. Dave is nice. Dave is red. Erin is blue. Erin is cold. Erin is kind. Erin is nice. Erin is red. If Anne is cold then Anne is red. If Erin is furry and Erin is kind then Erin is red. If something is kind and not blue then it is nice. If something is blue then it is nice. All green, furry things are cold. If Dave is not red then Dave is not furry.
Erin is green.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple8)] Dave is nice.[(triple9 OR ((triple8 triple4) -> rule3))] Dave is not blue.[(triple4)] Dave is not green.[(triple7)] Dave is red.[(triple10)] Erin is blue.[(triple11)] Erin is cold.[(triple12)] Erin is kind.[(triple13)] Erin is nice.[(triple14 OR ((triple11) -> rule4))] Erin is red.[(triple15)]