Anne is quiet. Bob is furry. Charlie is quiet. Charlie is smart. Charlie is young. Harry is kind. Harry is smart. If Bob is smart then Bob is green. All green, cold things are kind.
Harry is not kind.
@0: Anne is quiet.[(triple1)] Bob is furry.[(triple2)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Harry is kind.[(triple6)] Harry is smart.[(triple7)]