Anne is red. Bob is quiet. Dave is young. Harry is smart. If someone is cold then they are nice. All young, red people are not nice. If someone is nice then they are quiet.
Bob is red.
@0: Anne is red.[(triple1)] Bob is quiet.[(triple2)] Dave is young.[(triple3)] Harry is smart.[(triple4)]