Anne is young. All white, round things are kind. If Anne is quiet and Anne is round then Anne is smart. If Anne is kind and Anne is white then Anne is young. Round, kind things are nice. All round things are kind. Young things are smart. All smart, kind things are round. White things are round.
Anne is not kind.
@0: Anne is young.[(triple1)] @1: Anne is smart.[(((triple1) -> rule6))]