Bob is not blue. Dave is not blue. Dave is cold. Dave is quiet. Dave is not smart. Harry is cold. Harry is not nice. Quiet people are red.
Harry is not nice.
@0: Bob is not blue.[(triple1)] Dave is cold.[(triple3)] Dave is not blue.[(triple2)] Dave is not smart.[(triple5)] Dave is quiet.[(triple4)] Harry is cold.[(triple6)] Harry is not nice.[(triple7)] @1: Dave is red.[(((triple4) -> rule1))]