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