Anne is round. Anne is smart. Dave is cold. Dave is red. Harry is blue. Harry is cold. Harry is smart. If something is cold and rough then it is red. If Anne is rough then Anne is smart. Rough, blue things are smart.
Dave is not cold.
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Dave is cold.[(triple3)] Dave is red.[(triple4)] Harry is blue.[(triple5)] Harry is cold.[(triple6)] Harry is smart.[(triple7)]