Anne is kind. Anne is quiet. Harry is white. If someone is green and blue then they are quiet. If someone is quiet then they are blue. All smart, quiet people are green. If someone is smart then they are blue. If someone is young then they are quiet. Quiet, young people are green. All quiet, green people are smart. If someone is kind and quiet then they are blue.
Anne is young.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Harry is white.[(triple3)] @1: Anne is blue.[(((triple2) -> rule2) OR ((triple1 triple2) -> rule8))]