Anne is young. Charlie is white. Fiona is young. White people are nice. All young, white people are not nice. If someone is nice then they are not young.
Charlie is not nice.
@0: Anne is young.[(triple1)] Charlie is white.[(triple2)] Fiona is young.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule1))] @2: Charlie is not young.[(((((triple2) -> rule1)) -> rule3))]