Anne is green. Anne is round. Dave is nice. Dave is quiet. Erin is furry. Erin is nice. Fiona is quiet. Nice, young people are kind. If someone is furry then they are young. Kind, young people are quiet.
Anne is not kind.
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Erin is furry.[(triple5)] Erin is nice.[(triple6)] Fiona is quiet.[(triple7)] @1: Erin is young.[(((triple5) -> rule2))] @2: Erin is kind.[(((triple6 ((triple5) -> rule2)) -> rule1))] @3: Erin is quiet.[(((((triple6 ((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule3))]