Anne is young. If Anne is quiet and Anne is rough then Anne is red. If Anne is not green and Anne is not quiet then Anne is nice. All young, green things are not nice. Quiet, young things are nice. Young things are not red. Quiet, green things are red. If something is quiet and rough then it is young. If something is red and not nice then it is white.
Anne is young.
@0: Anne is young.[(triple1)] @1: Anne is not red.[(((triple1) -> rule5))]