Anne is white. Charlie is big. Harry is smart. If Anne is red and Anne is white then Anne is cold. Blue people are smart. If someone is big and round then they are not smart. If someone is big and not blue then they are smart. Cold people are smart. All smart, red people are round.
Harry is not round.
@0: Anne is white.[(triple1)] Charlie is big.[(triple2)] Harry is smart.[(triple3)]