Anne is blue. Charlie is quiet. Charlie is rough. All rough, green people are blue. If someone is quiet then they are white. If someone is white then they are green.
Charlie is not white.
@0: Anne is blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] @1: Charlie is white.[(((triple2) -> rule2))] @2: Charlie is green.[(((((triple2) -> rule2)) -> rule3))] @3: Charlie is blue.[(((triple3 ((((triple2) -> rule2)) -> rule3)) -> rule1))]