Anne is cold. Anne is furry. Anne is not green. Erin is blue. Erin is cold. Erin is furry. Erin is not green. Erin is smart. Fiona is round. Harry is blue. Quiet, blue people are smart. If someone is green and blue then they are not smart. If someone is round then they are quiet. If Erin is not cold then Erin is smart. If Erin is not cold then Erin is quiet. All quiet, furry people are not green.
Erin is blue.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not green.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is not green.[(triple7)] Erin is smart.[(triple8)] Fiona is round.[(triple9)] Harry is blue.[(triple10)] @1: Fiona is quiet.[(((triple9) -> rule3))]