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