Bob is cold. Bob is rough. Bob is smart. Dave is quiet. Harry is cold. Harry is smart. Harry is young. If someone is white and cold then they are quiet. If someone is green then they are young.
Harry is not quiet.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Dave is quiet.[(triple4)] Harry is cold.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)]