Anne is round. Anne is smart. Harry is cold. If Anne is not round then Anne is cold. If someone is cold and furry then they are big.
Anne is not smart.
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Harry is cold.[(triple3)]