Anne is not big. Anne is not blue. Anne is furry. Bob is not big. Bob is blue. Bob is cold. Bob is green. Bob is young. Dave is blue. Dave is not cold. Dave is furry. Dave is green. Dave is not round. Harry is blue. Harry is not green. Harry is round. If something is green and not furry then it is round. All round, big things are cold. If something is furry and not young then it is blue.
Anne is not cold.
@0: Anne is furry.[(triple3)] Anne is not big.[(triple1)] Anne is not blue.[(triple2)] Bob is blue.[(triple5)] Bob is cold.[(triple6)] Bob is green.[(triple7)] Bob is not big.[(triple4)] Bob is young.[(triple8)] Dave is blue.[(triple9)] Dave is furry.[(triple11)] Dave is green.[(triple12)] Dave is not cold.[(triple10)] Dave is not round.[(triple13)] Harry is blue.[(triple14)] Harry is not green.[(triple15)] Harry is round.[(triple16)]