Anne is furry. Charlie is smart. Dave is green. Furry people are green. All green people are not young. If Charlie is smart then Charlie is blue. All green people are blue. If someone is blue then they are quiet. If someone is green and not furry then they are smart.
Anne is not nice.
@0: Anne is furry.[(triple1)] Charlie is smart.[(triple2)] Dave is green.[(triple3)] @1: Anne is green.[(((triple1) -> rule1))] Charlie is blue.[(((triple2) -> rule3))] Dave is blue.[(((triple3) -> rule4))] Dave is not young.[(((triple3) -> rule2))] @2: Anne is blue.[(((((triple1) -> rule1)) -> rule4))] Anne is not young.[(((((triple1) -> rule1)) -> rule2))] Charlie is quiet.[(((((triple2) -> rule3)) -> rule5))] Dave is quiet.[(((((triple3) -> rule4)) -> rule5))] @3: Anne is quiet.[(((((((triple1) -> rule1)) -> rule4)) -> rule5))]