Anne is red. Bob is not nice. Charlie is blue. If someone is young then they are green. If someone is young and green then they are not red. Red people are white. If Charlie is white then Charlie is blue. All white people are not young. If someone is red and not young then they are nice.
Anne is not young.
@0: Anne is red.[(triple1)] Bob is not nice.[(triple2)] Charlie is blue.[(triple3)] @1: Anne is white.[(((triple1) -> rule3))] @2: Anne is not young.[(((((triple1) -> rule3)) -> rule5))] @3: Anne is nice.[(((triple1 ((((triple1) -> rule3)) -> rule5)) -> rule6))]