Anne is not kind. Dave is not blue. Gary is cold. Harry is cold. If something is red then it is blue. All furry things are blue. If Anne is cold and Anne is furry then Anne is not blue. All red things are kind. If Harry is kind and Harry is red then Harry is big. If Gary is cold and Gary is round then Gary is furry. All kind, furry things are red. If something is red and not blue then it is not big.
Dave is blue.
@0: Anne is not kind.[(triple1)] Dave is not blue.[(triple2)] Gary is cold.[(triple3)] Harry is cold.[(triple4)]