Charlie is young. Erin is blue. Fiona is green. All white people are young. Blue people are quiet. All quiet people are green. If someone is quiet and young then they are blue. If Charlie is smart and Charlie is young then Charlie is white. Green, smart people are white.
Charlie is not young.
@0: Charlie is young.[(triple1)] Erin is blue.[(triple2)] Fiona is green.[(triple3)] @1: Erin is quiet.[(((triple2) -> rule2))] @2: Erin is green.[(((((triple2) -> rule2)) -> rule3))]