Anne is blue. Anne is quiet. Anne is red. Bob is blue. Bob is cold. Bob is furry. Bob is red. Bob is smart. Bob is white. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is smart. Erin is white. If Bob is white then Bob is cold. If someone is cold then they are white. Blue, furry people are red.
Anne is not white.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Bob is blue.[(triple4)] Bob is cold.[(triple5 OR ((triple9) -> rule1))] Bob is furry.[(triple6)] Bob is red.[(triple7 OR ((triple4 triple6) -> rule3))] Bob is smart.[(triple8)] Bob is white.[(triple9 OR ((triple5) -> rule2))] Erin is blue.[(triple10)] Erin is cold.[(triple11)] Erin is furry.[(triple12)] Erin is quiet.[(triple13)] Erin is red.[(triple14 OR ((triple10 triple12) -> rule3))] Erin is smart.[(triple15)] Erin is white.[(triple16 OR ((triple11) -> rule2))]