Anne is furry. Charlie is green. Fiona is kind. Harry is big. If something is furry and not blue then it is smart. If something is big and not kind then it is not smart. All kind, furry things are green.
Charlie is not smart.
@0: Anne is furry.[(triple1)] Charlie is green.[(triple2)] Fiona is kind.[(triple3)] Harry is big.[(triple4)]