Anne is not blue. Anne is furry. Anne is not nice. Anne is rough. Anne is round. Anne is white. Erin is blue. Erin is furry. Erin is not rough. Erin is white. Erin is young. Fiona is nice. Fiona is not young. Harry is rough. Harry is white. All white, rough people are not blue. White, furry people are round. If someone is white then they are round. If Harry is white then Harry is furry. Round people are white. Nice, white people are not young. All blue people are furry. Young people are furry.
Fiona is not young.
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1 OR ((triple6 triple4) -> rule1) OR ((((triple5) -> rule5) triple4) -> rule1))] Anne is not nice.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple6) -> rule3) OR ((triple6 triple2) -> rule2))] Anne is white.[(triple6 OR ((triple5) -> rule5))] Erin is blue.[(triple7)] Erin is furry.[(triple8 OR ((triple11) -> rule8) OR ((triple7) -> rule7))] Erin is not rough.[(triple9)] Erin is white.[(triple10)] Erin is young.[(triple11)] Fiona is nice.[(triple12)] Fiona is not young.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] @1: Erin is round.[(((triple10) -> rule3) OR ((triple10 triple8) -> rule2) OR ((triple10 ((triple11) -> rule8)) -> rule2) OR ((triple10 ((triple7) -> rule7)) -> rule2))] Harry is furry.[(((triple15) -> rule4))] Harry is not blue.[(((triple15 triple14) -> rule1))] Harry is round.[(((triple15) -> rule3) OR ((triple15 ((triple15) -> rule4)) -> rule2))]