Anne is furry. Smart, furry people are blue. If Anne is nice then Anne is quiet. Rough, quiet people are furry. All smart, quiet people are rough. If Anne is blue and Anne is furry then Anne is rough. All nice people are rough. Rough people are furry. Furry people are smart.
Anne is not furry.
@0: Anne is furry.[(triple1)] @1: Anne is smart.[(((triple1) -> rule8))] @2: Anne is blue.[(((((triple1) -> rule8) triple1) -> rule1))] @3: Anne is rough.[(((((((triple1) -> rule8) triple1) -> rule1) triple1) -> rule5))]