Anne is kind. Bob is smart. Dave is green. All rough people are cold. All rough, smart people are green. Rough people are green.
Bob is not smart.
@0: Anne is kind.[(triple1)] Bob is smart.[(triple2)] Dave is green.[(triple3)]