Anne is smart. If something is blue then it is round. Blue, furry things are big. All round, blue things are big. If something is young then it is round. If something is rough then it is round. If Anne is big then Anne is rough.
Anne is not smart.
@0: Anne is smart.[(triple1)]