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