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