Anne is furry. Anne is kind. Charlie is furry. Charlie is white. Dave is kind. Fiona is furry. Fiona is green. White, kind things are green. If something is green and furry then it is round. If something is round then it is young. All young, round things are white. White, kind things are young. If something is white and furry then it is green. If Dave is young then Dave is kind. If Charlie is kind and Charlie is furry then Charlie is round.
Anne is not young.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Charlie is furry.[(triple3)] Charlie is white.[(triple4)] Dave is kind.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] @1: Charlie is green.[(((triple4 triple3) -> rule6))] Fiona is round.[(((triple7 triple6) -> rule2))] @2: Charlie is round.[(((((triple4 triple3) -> rule6) triple3) -> rule2))] Fiona is young.[(((((triple7 triple6) -> rule2)) -> rule3))] @3: Charlie is young.[(((((((triple4 triple3) -> rule6) triple3) -> rule2)) -> rule3))] Fiona is white.[(((((((triple7 triple6) -> rule2)) -> rule3) ((triple7 triple6) -> rule2)) -> rule4))]