Anne is cold. Anne is kind. Anne is quiet. Dave is not big. Dave is quiet. Dave is red. Dave is round. Dave is smart. Harry is big. Harry is cold. Harry is not quiet. Harry is not round. If something is smart and not quiet then it is not cold.
Dave is not cold.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Dave is not big.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is not quiet.[(triple11)] Harry is not round.[(triple12)]