Anne is kind. Dave is big. Harry is big. Big, red things are green. All nice things are round. If something is kind and big then it is not round. If something is green then it is red. All white, green things are not red. If something is round and not kind then it is not big.
Dave is not round.
@0: Anne is kind.[(triple1)] Dave is big.[(triple2)] Harry is big.[(triple3)]