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