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