Anne is cold. Bob is nice. Bob is red. Dave is smart. Dave is white. Harry is quiet. Harry is red. Kind, quiet things are cold. All smart things are cold. If Anne is red and Anne is quiet then Anne is nice.
Harry is red.
@0: Anne is cold.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Harry is quiet.[(triple6)] Harry is red.[(triple7)] @1: Dave is cold.[(((triple4) -> rule2))]