Anne is green. Fiona is rough. Young people are not green. Furry, smart people are green. If someone is green and not big then they are not nice. If someone is green and not rough then they are nice. If someone is furry and not rough then they are nice. If someone is furry then they are smart. If someone is rough then they are furry. Nice people are not young.
Anne is not furry.
@0: Anne is green.[(triple1)] Fiona is rough.[(triple2)] @1: Fiona is furry.[(((triple2) -> rule7))] @2: Fiona is smart.[(((((triple2) -> rule7)) -> rule6))] @3: Fiona is green.[(((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule6)) -> rule2))]