Anne is red. If something is furry then it is nice. If Anne is nice then Anne is white. All red things are not smart. If something is furry then it is smart. If something is furry and not round then it is young. If something is red and not smart then it is not young.
Anne is not young.
@0: Anne is red.[(triple1)] @1: Anne is not smart.[(((triple1) -> rule3))] @2: Anne is not young.[(((triple1 ((triple1) -> rule3)) -> rule6))]