Anne is kind. Anne is not red. Anne is round. Anne is not smart. Anne is white. Erin is furry. Erin is kind. Erin is not smart. Fiona is kind. Fiona is round. Fiona is smart. Fiona is white. Harry is furry. Harry is red. Harry is smart. Harry is white. All smart, kind things are white. Kind, red things are white. All white, kind things are round. Round, furry things are red. If Harry is red then Harry is round. If Erin is kind then Erin is white. If Fiona is kind and Fiona is smart then Fiona is round. If something is kind then it is not quiet.
Harry is not kind.
@0: Anne is kind.[(triple1)] Anne is not red.[(triple2)] Anne is not smart.[(triple4)] Anne is round.[(triple3 OR ((triple5 triple1) -> rule3))] Anne is white.[(triple5)] Erin is furry.[(triple6)] Erin is kind.[(triple7)] Erin is not smart.[(triple8)] Fiona is kind.[(triple9)] Fiona is round.[(triple10 OR ((triple12 triple9) -> rule3) OR ((triple9 triple11) -> rule7) OR ((((triple11 triple9) -> rule1) triple9) -> rule3))] Fiona is smart.[(triple11)] Fiona is white.[(triple12 OR ((triple11 triple9) -> rule1))] Harry is furry.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)] @1: Anne is not quiet.[(((triple1) -> rule8))] Erin is not quiet.[(((triple7) -> rule8))] Erin is white.[(((triple7) -> rule6))] Fiona is not quiet.[(((triple9) -> rule8))] Harry is round.[(((triple14) -> rule5))] @2: Erin is round.[(((((triple7) -> rule6) triple7) -> rule3))] @3: Erin is red.[(((((((triple7) -> rule6) triple7) -> rule3) triple6) -> rule4))]