Anne is quiet. Bob is cold. Dave is not cold. Young people are big. All big people are cold. If someone is kind and not young then they are red.
Dave is not big.
@0: Anne is quiet.[(triple1)] Bob is cold.[(triple2)] Dave is not cold.[(triple3)]