Anne is nice. Bob is furry. Charlie is quiet. Erin is blue. Nice people are quiet. All nice, green people are furry. If someone is green and not nice then they are furry. If Anne is green then Anne is quiet. If someone is nice and quiet then they are green. If Charlie is blue then Charlie is quiet.
Anne is not nice.
@0: Anne is nice.[(triple1)] Bob is furry.[(triple2)] Charlie is quiet.[(triple3)] Erin is blue.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule1))] @2: Anne is green.[(((triple1 ((triple1) -> rule1)) -> rule5))] @3: Anne is furry.[(((triple1 ((triple1 ((triple1) -> rule1)) -> rule5)) -> rule2))]