Anne is young. Charlie is furry. Fiona is quiet. If someone is cold and green then they are not quiet. Nice people are quiet. Furry, young people are nice. All cold people are not nice. All furry, young people are nice. Round people are nice. If someone is round and nice then they are green. Young people are round.
Anne is not nice.
@0: Anne is young.[(triple1)] Charlie is furry.[(triple2)] Fiona is quiet.[(triple3)] @1: Anne is round.[(((triple1) -> rule8))] @2: Anne is nice.[(((((triple1) -> rule8)) -> rule6))] @3: Anne is green.[(((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule6)) -> rule7))] Anne is quiet.[(((((((triple1) -> rule8)) -> rule6)) -> rule2))]