Bob is smart. Harry is green. Young, smart people are not green. If someone is quiet and smart then they are blue. All green people are not quiet. If someone is kind then they are quiet. All young, smart people are quiet. If someone is quiet and blue then they are not smart. All kind people are smart. Quiet people are kind.
Harry is young.
@0: Bob is smart.[(triple1)] Harry is green.[(triple2)] @1: Harry is not quiet.[(((triple2) -> rule3))]