Anne is smart. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is smart. Charlie is white. Charlie is young. Erin is cold. Erin is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is smart. Fiona is white. If someone is blue and smart then they are white. If Anne is blue and Anne is smart then Anne is white. If Charlie is blue then Charlie is cold. All white, furry people are blue. All white, furry people are cold. All furry, blue people are young.
Anne is not blue.
@0: Anne is smart.[(triple1)] Charlie is blue.[(triple2 OR ((triple6 triple4) -> rule4))] Charlie is cold.[(triple3 OR ((triple2) -> rule3) OR ((triple6 triple4) -> rule5) OR ((((triple6 triple4) -> rule4)) -> rule3) OR ((((triple2 triple5) -> rule1) triple4) -> rule5))] Charlie is furry.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple2 triple5) -> rule1))] Charlie is young.[(triple7 OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple6 triple4) -> rule4)) -> rule6))] Erin is cold.[(triple8)] Erin is white.[(triple9)] Fiona is big.[(triple10)] Fiona is blue.[(triple11 OR ((triple15 triple13) -> rule4))] Fiona is cold.[(triple12 OR ((triple15 triple13) -> rule5) OR ((((triple11 triple14) -> rule1) triple13) -> rule5))] Fiona is furry.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15 OR ((triple11 triple14) -> rule1))] @1: Fiona is young.[(((triple13 triple11) -> rule6) OR ((triple13 ((triple15 triple13) -> rule4)) -> rule6))]