Anne is smart. Green, quiet things are furry. Big, green things are nice. If Anne is nice then Anne is big. Quiet things are green. Big things are quiet. If something is green and nice then it is big. If Anne is kind and Anne is smart then Anne is quiet. If something is big then it is green.
Anne is smart.
@0: Anne is smart.[(triple1)]