Bob is quiet. Charlie is not green. Harry is smart. Nice people are not green. All quiet, nice people are green. All nice people are not green. All quiet people are not green. If Harry is not quiet then Harry is not cold. If someone is cold and blue then they are nice. Nice people are cold. All green, blue people are not red.
Harry is smart.
@0: Bob is quiet.[(triple1)] Charlie is not green.[(triple2)] Harry is smart.[(triple3)] @1: Bob is not green.[(((triple1) -> rule4))]