Anne is white. Charlie is quiet. Charlie is smart. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is white. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. Harry is smart. Harry is white. If someone is smart and cold then they are white. Furry, smart people are white. If someone is nice then they are rough. If Anne is rough then Anne is quiet. All cold, furry people are white. All cold, furry people are quiet. White, smart people are cold. Cold, quiet people are furry.
Anne is not white.
@0: Anne is white.[(triple1)] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3)] Fiona is cold.[(triple4 OR ((triple10 triple9) -> rule7) OR ((((triple5 triple9) -> rule2) triple9) -> rule7))] Fiona is furry.[(triple5 OR ((triple4 triple7) -> rule8) OR ((((triple10 triple9) -> rule7) triple7) -> rule8))] Fiona is nice.[(triple6)] Fiona is quiet.[(triple7 OR ((triple4 triple5) -> rule6) OR ((((triple10 triple9) -> rule7) triple5) -> rule6) OR ((((((triple5 triple9) -> rule2) triple9) -> rule7) triple5) -> rule6))] Fiona is rough.[(triple8 OR ((triple6) -> rule3))] Fiona is smart.[(triple9)] Fiona is white.[(triple10 OR ((triple4 triple5) -> rule5) OR ((triple5 triple9) -> rule2) OR ((triple9 triple4) -> rule1) OR ((triple4 ((triple4 triple7) -> rule8)) -> rule5) OR ((((triple4 triple7) -> rule8) triple9) -> rule2))] Harry is cold.[(triple11 OR ((triple16 triple15) -> rule7) OR ((((triple12 triple15) -> rule2) triple15) -> rule7))] Harry is furry.[(triple12 OR ((triple11 triple13) -> rule8) OR ((((triple16 triple15) -> rule7) triple13) -> rule8))] Harry is quiet.[(triple13 OR ((triple11 triple12) -> rule6) OR ((((triple16 triple15) -> rule7) triple12) -> rule6) OR ((((((triple12 triple15) -> rule2) triple15) -> rule7) triple12) -> rule6))] Harry is rough.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16 OR ((triple11 triple12) -> rule5) OR ((triple12 triple15) -> rule2) OR ((triple15 triple11) -> rule1) OR ((triple11 ((triple11 triple13) -> rule8)) -> rule5) OR ((((triple11 triple13) -> rule8) triple15) -> rule2))]