Anne is blue. Anne is round. Anne is smart. If someone is nice and smart then they are green. If Anne is smart and Anne is blue then Anne is round. If someone is nice then they are blue.
Anne is not green.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2 OR ((triple3 triple1) -> rule2))] Anne is smart.[(triple3)]