Anne is not young. Charlie is quiet. Erin is quiet. Fiona is green. All white, blue people are green. All green people are kind. All green, furry people are blue. All green people are blue. If someone is kind and quiet then they are not furry. If someone is kind then they are quiet. If someone is kind and not young then they are not quiet. If Charlie is blue then Charlie is kind.
Anne is young.
@0: Anne is not young.[(triple1)] Charlie is quiet.[(triple2)] Erin is quiet.[(triple3)] Fiona is green.[(triple4)] @1: Fiona is blue.[(((triple4) -> rule4))] Fiona is kind.[(((triple4) -> rule2))] @2: Fiona is quiet.[(((((triple4) -> rule2)) -> rule6))] @3: Fiona is not furry.[(((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule6)) -> rule5))]