Starting the LWB, please wait... LWB - The Logics Workbench 1.1 linux type 'help;' for help Parsing file ../cleanver.lwb: kn user **************************************** ** Situatie 1 **************************************** Initiele situatie: Agenten Anne, Petra kennen de roddel over Petra Agenten Dirk, Els, Erwin, Piet kennen de roddel niet === Dag 1 === Anne(1) ontmoet Els(3) Els is een vriend van Anne Els is een onbekende van Petra Anne heeft de roddel verteld aan Els. Nu is de kennis: Agenten Anne, Els, Petra kennen de roddel over Petra Agenten Dirk, Erwin, Piet kennen de roddel niet Anne(1) ontmoet Piet(6) Piet is een kennis van Anne Piet is een kennis van Petra Anne heeft de roddel verteld aan Piet. Nu is de kennis: Agenten Anne, Els, Petra, Piet kennen de roddel over Petra Agenten Dirk, Erwin kennen de roddel niet Els(3) ontmoet Dirk(2) Dirk is een vriend van Els Dirk is een kennis van Petra Els heeft de roddel verteld aan Dirk. Nu is de kennis: Agenten Anne, Dirk, Els, Petra, Piet kennen de roddel over Petra Agent Erwin kent de roddel niet Piet(6) ontmoet Erwin(4) Erwin is een vriend van Piet Erwin is de verkering van Petra Piet heeft de roddel verteld aan Erwin. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Petra Iedereen kent de roddel === Dag 2 === === Aan het einde van dag 2 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Petra Iedereen kent de roddel [box1 Petra, box5 Petra, box1 Petra -> box3 Petra, box1 Petra -> box6 Petra, box3 Petra -> box2 Petra, box6 Petra -> box4 Petra] **************************************** ** Situatie 1 r **************************************** Initiele situatie: Agenten Anne, Petra kennen de roddel over Petra Agenten Dirk, Els, Erwin, Piet kennen de roddel niet === Dag 1 === Anne(1) ontmoet Els(3) Els is een vriend van Anne Els is een onbekende van Petra Anne heeft de roddel verteld aan Els. Nu is de kennis: Agenten Anne, Els, Petra kennen de roddel over Petra Agenten Dirk, Erwin, Piet kennen de roddel niet Anne(1) ontmoet Piet(6) Piet is een kennis van Anne Piet is een kennis van Petra Anne heeft de roddel verteld aan Piet. Nu is de kennis: Agenten Anne, Els, Petra, Piet kennen de roddel over Petra Agenten Dirk, Erwin kennen de roddel niet Els(3) ontmoet Dirk(2) Dirk is een vriend van Els Dirk is een kennis van Petra Els heeft de roddel verteld aan Dirk. Nu is de kennis: Agenten Anne, Dirk, Els, Petra, Piet kennen de roddel over Petra Agent Erwin kent de roddel niet === Dag 2 === === Aan het einde van dag 2 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Petra, Piet kennen de roddel over Petra Agent Erwin kent de roddel niet [box1 Petra, box5 Petra, box1 Petra -> box3 Petra, box1 Petra -> box6 Petra, box3 Petra -> box2 Petra] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Situatie 1 verschilt %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Petra Iedereen kent de roddel ------------------------------ Agenten Anne, Dirk, Els, Petra, Piet kennen de roddel over Petra Agent Erwin kent de roddel niet **************************************** ** Situatie 2 **************************************** Initiele situatie: Agenten Dirk, Petra kennen de roddel over Petra Agenten Anne, Els, Erwin, Piet kennen de roddel niet === Dag 1 === Dirk(2) ontmoet Els(3) Els is een vriend van Dirk Els is een onbekende van Petra Dirk heeft de roddel verteld aan Els. Nu is de kennis: Agenten Dirk, Els, Petra kennen de roddel over Petra Agenten Anne, Erwin, Piet kennen de roddel niet Els(3) ontmoet Anne(1) Anne is een vriend van Els Anne is een onbekende van Petra Els heeft de roddel verteld aan Anne. Nu is de kennis: Agenten Anne, Dirk, Els, Petra kennen de roddel over Petra Agenten Erwin, Piet kennen de roddel niet === Dag 2 === Anne(1) ontmoet Piet(6) Piet is een kennis van Anne Piet is een kennis van Petra Anne heeft de roddel verteld aan Piet. Nu is de kennis: Agenten Anne, Dirk, Els, Petra, Piet kennen de roddel over Petra Agent Erwin kent de roddel niet Piet(6) ontmoet Erwin(4) Erwin is een vriend van Piet Erwin is de verkering van Petra Piet heeft de roddel verteld aan Erwin. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Petra Iedereen kent de roddel === Dag 3 === === Aan het einde van dag 3 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Petra Iedereen kent de roddel [box2 Petra, box5 Petra, box2 Petra -> box3 Petra, box3 Petra -> box1 Petra, box1 Petra -> box6 Petra, box6 Petra -> box4 Petra] **************************************** ** Situatie 2 r **************************************** Initiele situatie: Agenten Dirk, Petra kennen de roddel over Petra Agenten Anne, Els, Erwin, Piet kennen de roddel niet === Dag 1 === Dirk(2) ontmoet Els(3) Els is een vriend van Dirk Els is een onbekende van Petra Dirk heeft de roddel verteld aan Els. Nu is de kennis: Agenten Dirk, Els, Petra kennen de roddel over Petra Agenten Anne, Erwin, Piet kennen de roddel niet Els(3) ontmoet Anne(1) Anne is een vriend van Els Anne is een onbekende van Petra Els heeft de roddel verteld aan Anne. Nu is de kennis: Agenten Anne, Dirk, Els, Petra kennen de roddel over Petra Agenten Erwin, Piet kennen de roddel niet === Dag 2 === Anne(1) ontmoet Piet(6) Piet is een kennis van Anne Piet is een kennis van Petra Anne heeft de roddel verteld aan Piet. Nu is de kennis: Agenten Anne, Dirk, Els, Petra, Piet kennen de roddel over Petra Agent Erwin kent de roddel niet === Dag 3 === === Aan het einde van dag 3 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Petra, Piet kennen de roddel over Petra Agent Erwin kent de roddel niet [box2 Petra, box5 Petra, box2 Petra -> box3 Petra, box3 Petra -> box1 Petra, box1 Petra -> box6 Petra] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Situatie 2 verschilt %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Petra Iedereen kent de roddel ------------------------------ Agenten Anne, Dirk, Els, Petra, Piet kennen de roddel over Petra Agent Erwin kent de roddel niet **************************************** ** Situatie 3 **************************************** Initiele situatie: Agenten Els, Erwin kennen de roddel over Erwin Agenten Anne, Dirk, Petra, Piet kennen de roddel niet === Dag 1 === Els(3) ontmoet Anne(1) Anne is een vriend van Els Anne is een onbekende van Erwin Els heeft de roddel verteld aan Anne. Nu is de kennis: Agenten Anne, Els, Erwin kennen de roddel over Erwin Agenten Dirk, Petra, Piet kennen de roddel niet Els(3) ontmoet Dirk(2) Dirk is een vriend van Els Dirk is een onbekende van Erwin Els heeft de roddel verteld aan Dirk. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin kennen de roddel over Erwin Agenten Petra, Piet kennen de roddel niet Erwin(4) ontmoet Piet(6) Piet is een vriend van Erwin Piet is een vriend van Erwin Erwin heeft de roddel verteld aan Piet. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Piet kennen de roddel over Erwin Agent Petra kent de roddel niet === Dag 2 === Dirk(2) ontmoet Petra(5) Petra is een kennis van Dirk Petra is de verkering van Erwin Dirk heeft de roddel verteld aan Petra. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Erwin Iedereen kent de roddel === Dag 3 === === Aan het einde van dag 3 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Erwin Iedereen kent de roddel [box4 Erwin, box3 Erwin, box3 Erwin -> box1 Erwin, box3 Erwin -> box2 Erwin, box4 Erwin -> box6 Erwin, box2 Erwin -> box5 Erwin] **************************************** ** Situatie 3 r **************************************** Initiele situatie: Agenten Els, Erwin kennen de roddel over Erwin Agenten Anne, Dirk, Petra, Piet kennen de roddel niet === Dag 1 === Els(3) ontmoet Anne(1) Anne is een vriend van Els Anne is een onbekende van Erwin Els heeft de roddel verteld aan Anne. Nu is de kennis: Agenten Anne, Els, Erwin kennen de roddel over Erwin Agenten Dirk, Petra, Piet kennen de roddel niet Els(3) ontmoet Dirk(2) Dirk is een vriend van Els Dirk is een onbekende van Erwin Els heeft de roddel verteld aan Dirk. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin kennen de roddel over Erwin Agenten Petra, Piet kennen de roddel niet Erwin(4) ontmoet Piet(6) Piet is een vriend van Erwin Piet is een vriend van Erwin Erwin heeft de roddel verteld aan Piet. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Piet kennen de roddel over Erwin Agent Petra kent de roddel niet === Dag 2 === === Aan het einde van dag 2 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Erwin, Piet kennen de roddel over Erwin Agent Petra kent de roddel niet [box4 Erwin, box3 Erwin, box3 Erwin -> box1 Erwin, box3 Erwin -> box2 Erwin, box4 Erwin -> box6 Erwin] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Situatie 3 verschilt %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Erwin Iedereen kent de roddel ------------------------------ Agenten Anne, Dirk, Els, Erwin, Piet kennen de roddel over Erwin Agent Petra kent de roddel niet **************************************** ** Situatie 4 **************************************** Initiele situatie: Agent Piet kent de roddel over Piet Agenten Anne, Dirk, Els, Erwin, Petra kennen de roddel niet === Dag 1 === Piet(6) ontmoet Erwin(4) Erwin is een vriend van Piet Erwin is een vriend van Piet Piet heeft de roddel verteld aan Erwin. Nu is de kennis: Agenten Erwin, Piet kennen de roddel over Piet Agenten Anne, Dirk, Els, Petra kennen de roddel niet === Dag 2 === Erwin(4) ontmoet Petra(5) Petra is de verkering van Erwin Petra is een kennis van Piet Erwin heeft de roddel verteld aan Petra. Nu is de kennis: Agenten Erwin, Petra, Piet kennen de roddel over Piet Agenten Anne, Dirk, Els kennen de roddel niet Petra(5) ontmoet Dirk(2) Dirk is een kennis van Petra Dirk is een onbekende van Piet Petra heeft de roddel verteld aan Dirk. Nu is de kennis: Agenten Dirk, Erwin, Petra, Piet kennen de roddel over Piet Agenten Anne, Els kennen de roddel niet === Dag 3 === Dirk(2) ontmoet Els(3) Els is een vriend van Dirk Els is een onbekende van Piet Dirk heeft de roddel verteld aan Els. Nu is de kennis: Agenten Dirk, Els, Erwin, Petra, Piet kennen de roddel over Piet Agent Anne kent de roddel niet Els(3) ontmoet Anne(1) Anne is een vriend van Els Anne is een kennis van Piet Els heeft de roddel verteld aan Anne. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Piet Iedereen kent de roddel === Dag 4 === === Aan het einde van dag 4 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Piet Iedereen kent de roddel [box6 Piet, box6 Piet -> box4 Piet, box4 Piet -> box5 Piet, box5 Piet -> box2 Piet, box2 Piet -> box3 Piet, box3 Piet -> box1 Piet] **************************************** ** Situatie 4 r **************************************** Initiele situatie: Agent Piet kent de roddel over Piet Agenten Anne, Dirk, Els, Erwin, Petra kennen de roddel niet === Dag 1 === Piet(6) ontmoet Erwin(4) Erwin is een vriend van Piet Erwin is een vriend van Piet Piet heeft de roddel verteld aan Erwin. Nu is de kennis: Agenten Erwin, Piet kennen de roddel over Piet Agenten Anne, Dirk, Els, Petra kennen de roddel niet === Dag 2 === Erwin(4) ontmoet Petra(5) Petra is de verkering van Erwin Petra is een kennis van Piet Erwin heeft de roddel verteld aan Petra. Nu is de kennis: Agenten Erwin, Petra, Piet kennen de roddel over Piet Agenten Anne, Dirk, Els kennen de roddel niet Petra(5) ontmoet Dirk(2) Dirk is een kennis van Petra Dirk is een onbekende van Piet Petra heeft de roddel verteld aan Dirk. Nu is de kennis: Agenten Dirk, Erwin, Petra, Piet kennen de roddel over Piet Agenten Anne, Els kennen de roddel niet === Dag 3 === Dirk(2) ontmoet Els(3) Els is een vriend van Dirk Els is een onbekende van Piet Dirk heeft de roddel verteld aan Els. Nu is de kennis: Agenten Dirk, Els, Erwin, Petra, Piet kennen de roddel over Piet Agent Anne kent de roddel niet Els(3) ontmoet Anne(1) Anne is een vriend van Els Anne is een kennis van Piet Els heeft de roddel verteld aan Anne. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Piet Iedereen kent de roddel === Dag 4 === === Aan het einde van dag 4 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Piet Iedereen kent de roddel [box6 Piet, box6 Piet -> box4 Piet, box4 Piet -> box5 Piet, box5 Piet -> box2 Piet, box2 Piet -> box3 Piet, box3 Piet -> box1 Piet] **************************************** ** Situatie 5 **************************************** Initiele situatie: Agenten Els, Piet kennen de roddel over Els Agenten Anne, Dirk, Erwin, Petra kennen de roddel niet === Dag 1 === Els(3) ontmoet Anne(1) Anne is een vriend van Els Anne is een vriend van Els Els heeft de roddel verteld aan Anne. Nu is de kennis: Agenten Anne, Els, Piet kennen de roddel over Els Agenten Dirk, Erwin, Petra kennen de roddel niet Els(3) ontmoet Dirk(2) Dirk is een vriend van Els Dirk is een vriend van Els Els heeft de roddel verteld aan Dirk. Nu is de kennis: Agenten Anne, Dirk, Els, Piet kennen de roddel over Els Agenten Erwin, Petra kennen de roddel niet Piet(6) ontmoet Erwin(4) Erwin is een vriend van Piet Erwin is een onbekende van Els Piet heeft de roddel verteld aan Erwin. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Piet kennen de roddel over Els Agent Petra kent de roddel niet Piet(6) ontmoet Petra(5) Petra is een kennis van Piet Petra is een onbekende van Els Piet heeft de roddel verteld aan Petra. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Els Iedereen kent de roddel === Dag 2 === === Aan het einde van dag 2 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Els Iedereen kent de roddel [box3 Els, box6 Els, box3 Els -> box1 Els, box3 Els -> box2 Els, box6 Els -> box4 Els, box6 Els -> box5 Els] **************************************** ** Situatie 5 r **************************************** Initiele situatie: Agenten Els, Piet kennen de roddel over Els Agenten Anne, Dirk, Erwin, Petra kennen de roddel niet === Dag 1 === Els(3) ontmoet Anne(1) Anne is een vriend van Els Anne is een vriend van Els Els heeft de roddel verteld aan Anne. Nu is de kennis: Agenten Anne, Els, Piet kennen de roddel over Els Agenten Dirk, Erwin, Petra kennen de roddel niet Els(3) ontmoet Dirk(2) Dirk is een vriend van Els Dirk is een vriend van Els Els heeft de roddel verteld aan Dirk. Nu is de kennis: Agenten Anne, Dirk, Els, Piet kennen de roddel over Els Agenten Erwin, Petra kennen de roddel niet Piet(6) ontmoet Erwin(4) Erwin is een vriend van Piet Erwin is een onbekende van Els Piet heeft de roddel verteld aan Erwin. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Piet kennen de roddel over Els Agent Petra kent de roddel niet Piet(6) ontmoet Petra(5) Petra is een kennis van Piet Petra is een onbekende van Els Piet heeft de roddel verteld aan Petra. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Els Iedereen kent de roddel === Dag 2 === === Aan het einde van dag 2 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Els Iedereen kent de roddel [box3 Els, box6 Els, box3 Els -> box1 Els, box3 Els -> box2 Els, box6 Els -> box4 Els, box6 Els -> box5 Els] **************************************** ** Situatie 6 **************************************** Initiele situatie: Agenten Erwin, Piet kennen de roddel over Erwin Agenten Anne, Dirk, Els, Petra kennen de roddel niet === Dag 1 === === Aan het einde van dag 1 is er niets meer veranderd. === Agenten Erwin, Piet kennen de roddel over Erwin Agenten Anne, Dirk, Els, Petra kennen de roddel niet [box4 Erwin, box6 Erwin] **************************************** ** Situatie 6 r **************************************** Initiele situatie: Agenten Erwin, Piet kennen de roddel over Erwin Agenten Anne, Dirk, Els, Petra kennen de roddel niet === Dag 1 === === Aan het einde van dag 1 is er niets meer veranderd. === Agenten Erwin, Piet kennen de roddel over Erwin Agenten Anne, Dirk, Els, Petra kennen de roddel niet [box4 Erwin, box6 Erwin] **************************************** ** Situatie 7 **************************************** Initiele situatie: Agenten Anne, Petra kennen de roddel over Petra Agenten Dirk, Els, Erwin, Piet kennen de roddel niet === Dag 1 === Anne(1) ontmoet Els(3) Els is een vriend van Anne Els is een onbekende van Petra Anne heeft de roddel verteld aan Els. Nu is de kennis: Agenten Anne, Els, Petra kennen de roddel over Petra Agenten Dirk, Erwin, Piet kennen de roddel niet Anne(1) ontmoet Piet(6) Piet is een vriend van Anne Piet is een vriend van Petra Anne heeft de roddel verteld aan Piet. Nu is de kennis: Agenten Anne, Els, Petra, Piet kennen de roddel over Petra Agenten Dirk, Erwin kennen de roddel niet Els(3) ontmoet Dirk(2) Dirk is een vriend van Els Dirk is een vriend van Petra Els heeft de roddel verteld aan Dirk. Nu is de kennis: Agenten Anne, Dirk, Els, Petra, Piet kennen de roddel over Petra Agent Erwin kent de roddel niet Petra(5) ontmoet Erwin(4) Erwin is een vriend van Petra Erwin is een vriend van Petra Petra heeft de roddel verteld aan Erwin. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Petra Iedereen kent de roddel === Dag 2 === === Aan het einde van dag 2 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Petra Iedereen kent de roddel [box1 Petra, box5 Petra, box1 Petra -> box3 Petra, box1 Petra -> box6 Petra, box3 Petra -> box2 Petra, box5 Petra -> box4 Petra] **************************************** ** Situatie 7 r **************************************** Initiele situatie: Agenten Anne, Petra kennen de roddel over Petra Agenten Dirk, Els, Erwin, Piet kennen de roddel niet === Dag 1 === Anne(1) ontmoet Els(3) Els is een vriend van Anne Els is een onbekende van Petra Anne heeft de roddel verteld aan Els. Nu is de kennis: Agenten Anne, Els, Petra kennen de roddel over Petra Agenten Dirk, Erwin, Piet kennen de roddel niet Petra(5) ontmoet Dirk(2) Dirk is een vriend van Petra Dirk is een vriend van Petra Petra heeft de roddel verteld aan Dirk. Nu is de kennis: Agenten Anne, Dirk, Els, Petra kennen de roddel over Petra Agenten Erwin, Piet kennen de roddel niet Petra(5) ontmoet Erwin(4) Erwin is een vriend van Petra Erwin is een vriend van Petra Petra heeft de roddel verteld aan Erwin. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Petra kennen de roddel over Petra Agent Piet kent de roddel niet Petra(5) ontmoet Piet(6) Piet is een vriend van Petra Piet is een vriend van Petra Petra heeft de roddel verteld aan Piet. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Petra Iedereen kent de roddel === Dag 2 === === Aan het einde van dag 2 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Petra Iedereen kent de roddel [box1 Petra, box5 Petra, box1 Petra -> box3 Petra, box5 Petra -> box2 Petra, box5 Petra -> box4 Petra, box5 Petra -> box6 Petra] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Situatie 7 verschilt %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Petra Iedereen kent de roddel ------------------------------ Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Petra Iedereen kent de roddel **************************************** ** Situatie 8 **************************************** Initiele situatie: Agent Piet kent de roddel over Piet Agenten Anne, Dirk, Els, Erwin, Petra kennen de roddel niet === Dag 1 === Piet(6) ontmoet Anne(1) Anne is een vriend van Piet Anne is een vriend van Piet Piet heeft de roddel verteld aan Anne. Nu is de kennis: Agenten Anne, Piet kennen de roddel over Piet Agenten Dirk, Els, Erwin, Petra kennen de roddel niet Piet(6) ontmoet Erwin(4) Erwin is een vriend van Piet Erwin is een vriend van Piet Piet heeft de roddel verteld aan Erwin. Nu is de kennis: Agenten Anne, Erwin, Piet kennen de roddel over Piet Agenten Dirk, Els, Petra kennen de roddel niet Piet(6) ontmoet Petra(5) Petra is een vriend van Piet Petra is een vriend van Piet Piet heeft de roddel verteld aan Petra. Nu is de kennis: Agenten Anne, Erwin, Petra, Piet kennen de roddel over Piet Agenten Dirk, Els kennen de roddel niet === Dag 2 === === Aan het einde van dag 2 is er niets meer veranderd. === Agenten Anne, Erwin, Petra, Piet kennen de roddel over Piet Agenten Dirk, Els kennen de roddel niet [box6 Piet, box6 Piet -> box1 Piet, box6 Piet -> box4 Piet, box6 Piet -> box5 Piet] **************************************** ** Situatie 8 r **************************************** Initiele situatie: Agent Piet kent de roddel over Piet Agenten Anne, Dirk, Els, Erwin, Petra kennen de roddel niet === Dag 1 === Piet(6) ontmoet Anne(1) Anne is een vriend van Piet Anne is een vriend van Piet Piet heeft de roddel verteld aan Anne. Nu is de kennis: Agenten Anne, Piet kennen de roddel over Piet Agenten Dirk, Els, Erwin, Petra kennen de roddel niet Piet(6) ontmoet Erwin(4) Erwin is een vriend van Piet Erwin is een vriend van Piet Piet heeft de roddel verteld aan Erwin. Nu is de kennis: Agenten Anne, Erwin, Piet kennen de roddel over Piet Agenten Dirk, Els, Petra kennen de roddel niet Piet(6) ontmoet Petra(5) Petra is een vriend van Piet Petra is een vriend van Piet Piet heeft de roddel verteld aan Petra. Nu is de kennis: Agenten Anne, Erwin, Petra, Piet kennen de roddel over Piet Agenten Dirk, Els kennen de roddel niet === Dag 2 === === Aan het einde van dag 2 is er niets meer veranderd. === Agenten Anne, Erwin, Petra, Piet kennen de roddel over Piet Agenten Dirk, Els kennen de roddel niet [box6 Piet, box6 Piet -> box1 Piet, box6 Piet -> box4 Piet, box6 Piet -> box5 Piet] **************************************** ** Situatie 9 **************************************** Initiele situatie: Agenten Erwin, Piet kennen de roddel over Erwin Agenten Anne, Dirk, Els, Petra kennen de roddel niet === Dag 1 === Erwin(4) ontmoet Anne(1) Anne is een vriend van Erwin Anne is een vriend van Erwin Erwin heeft de roddel verteld aan Anne. Nu is de kennis: Agenten Anne, Erwin, Piet kennen de roddel over Erwin Agenten Dirk, Els, Petra kennen de roddel niet Piet(6) ontmoet Els(3) Els is de verkering van Piet Els is een kennis van Erwin Piet heeft de roddel verteld aan Els. Nu is de kennis: Agenten Anne, Els, Erwin, Piet kennen de roddel over Erwin Agenten Dirk, Petra kennen de roddel niet === Dag 2 === Els(3) ontmoet Dirk(2) Dirk is een vriend van Els Dirk is een kennis van Erwin Els heeft de roddel verteld aan Dirk. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Piet kennen de roddel over Erwin Agent Petra kent de roddel niet Els(3) ontmoet Petra(5) Petra is een vriend van Els Petra is de verkering van Erwin Els heeft de roddel verteld aan Petra. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Erwin Iedereen kent de roddel === Dag 3 === === Aan het einde van dag 3 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Erwin Iedereen kent de roddel [box4 Erwin, box6 Erwin, box4 Erwin -> box1 Erwin, box6 Erwin -> box3 Erwin, box3 Erwin -> box2 Erwin, box3 Erwin -> box5 Erwin] **************************************** ** Situatie 9 r **************************************** Initiele situatie: Agenten Erwin, Piet kennen de roddel over Erwin Agenten Anne, Dirk, Els, Petra kennen de roddel niet === Dag 1 === Erwin(4) ontmoet Anne(1) Anne is een vriend van Erwin Anne is een vriend van Erwin Erwin heeft de roddel verteld aan Anne. Nu is de kennis: Agenten Anne, Erwin, Piet kennen de roddel over Erwin Agenten Dirk, Els, Petra kennen de roddel niet Piet(6) ontmoet Els(3) Els is de verkering van Piet Els is een kennis van Erwin Piet heeft de roddel verteld aan Els. Nu is de kennis: Agenten Anne, Els, Erwin, Piet kennen de roddel over Erwin Agenten Dirk, Petra kennen de roddel niet === Dag 2 === Els(3) ontmoet Dirk(2) Dirk is een vriend van Els Dirk is een kennis van Erwin Els heeft de roddel verteld aan Dirk. Nu is de kennis: Agenten Anne, Dirk, Els, Erwin, Piet kennen de roddel over Erwin Agent Petra kent de roddel niet === Dag 3 === === Aan het einde van dag 3 is er niets meer veranderd. === Agenten Anne, Dirk, Els, Erwin, Piet kennen de roddel over Erwin Agent Petra kent de roddel niet [box4 Erwin, box6 Erwin, box4 Erwin -> box1 Erwin, box6 Erwin -> box3 Erwin, box3 Erwin -> box2 Erwin] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Situatie 9 verschilt %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Agenten Anne, Dirk, Els, Erwin, Petra, Piet kennen de roddel over Erwin Iedereen kent de roddel ------------------------------ Agenten Anne, Dirk, Els, Erwin, Piet kennen de roddel over Erwin Agent Petra kent de roddel niet **************************************** ** Situatie 10 **************************************** Initiele situatie: Agenten Anne, Petra kennen de roddel over Petra Agenten Dirk, Els, Erwin, Piet kennen de roddel niet === Dag 1 === Petra(5) ontmoet Els(3) Els is een vriend van Petra Els is een vriend van Petra Petra heeft de roddel verteld aan Els. Nu is de kennis: Agenten Anne, Els, Petra kennen de roddel over Petra Agenten Dirk, Erwin, Piet kennen de roddel niet === Dag 2 === === Aan het einde van dag 2 is er niets meer veranderd. === Agenten Anne, Els, Petra kennen de roddel over Petra Agenten Dirk, Erwin, Piet kennen de roddel niet [box1 Petra, box5 Petra, box5 Petra -> box3 Petra] **************************************** ** Situatie 10 r **************************************** Initiele situatie: Agenten Anne, Petra kennen de roddel over Petra Agenten Dirk, Els, Erwin, Piet kennen de roddel niet === Dag 1 === Petra(5) ontmoet Els(3) Els is een vriend van Petra Els is een vriend van Petra Petra heeft de roddel verteld aan Els. Nu is de kennis: Agenten Anne, Els, Petra kennen de roddel over Petra Agenten Dirk, Erwin, Piet kennen de roddel niet === Dag 2 === === Aan het einde van dag 2 is er niets meer veranderd. === Agenten Anne, Els, Petra kennen de roddel over Petra Agenten Dirk, Erwin, Piet kennen de roddel niet [box1 Petra, box5 Petra, box5 Petra -> box3 Petra] Ok.