C: consult 'agatha.pro' C: print_solutionC: solution(Killer_0,Victim_1,InBarA_2,InBarB_3,Alone_4)C: person(Killer_0)E: person(alice)C: person(Victim_1)E: person(alice)C: istwin(alice)C: twin(alice,_)E: twin(alice,_)E: istwin(alice)C: not twin(alice,alice) C: twin(alice,alice)F: twin(alice,alice)E: not twin(alice,alice) C: not older(alice,alice) C: older(alice,alice)F: older(alice,alice)E: not older(alice,alice) C: not together(alice,alice) C: together(alice,alice)C: (alice = alice)E: (alice = alice)C: (alice = husband)F: (alice = husband)R: (alice = alice)F: (alice = alice)R: together(alice,alice)C: (alice = alice)E: (alice = alice)C: (alice = husband)F: (alice = husband)R: (alice = alice)F: (alice = alice)F: together(alice,alice)E: not together(alice,alice) C: (alice \= alice)F: (alice \= alice)R: not together(alice,alice) F: not together(alice,alice) R: not older(alice,alice) F: not older(alice,alice) R: not twin(alice,alice) F: not twin(alice,alice) R: twin(alice,_)F: twin(alice,_)F: istwin(alice)R: person(Victim_1)E: person(husband)C: istwin(husband)C: twin(husband,_)F: twin(husband,_)F: istwin(husband)R: person(Victim_1)E: person(son)C: istwin(son)C: twin(son,_)E: twin(son,_)E: istwin(son)C: not twin(son,alice) C: twin(son,alice)F: twin(son,alice)E: not twin(son,alice) C: not older(alice,son) C: older(alice,son)E: older(alice,son)F: not older(alice,son) R: not twin(son,alice) F: not twin(son,alice) R: twin(son,_)F: twin(son,_)F: istwin(son)R: person(Victim_1)E: person(daughter)C: istwin(daughter)C: twin(daughter,_)E: twin(daughter,_)E: istwin(daughter)C: not twin(daughter,alice) C: twin(daughter,alice)F: twin(daughter,alice)E: not twin(daughter,alice) C: not older(alice,daughter) C: older(alice,daughter)E: older(alice,daughter)F: not older(alice,daughter) R: not twin(daughter,alice) F: not twin(daughter,alice) R: twin(daughter,_)F: twin(daughter,_)F: istwin(daughter)R: person(Victim_1)E: person(brother)C: istwin(brother)C: twin(brother,_)E: twin(brother,_)E: istwin(brother)C: not twin(brother,alice) C: twin(brother,alice)E: twin(brother,alice)F: not twin(brother,alice) R: twin(brother,_)F: twin(brother,_)F: istwin(brother)R: person(Victim_1)F: person(Victim_1)R: person(Killer_0)E: person(husband)C: person(Victim_1)E: person(alice)C: istwin(alice)C: twin(alice,_)E: twin(alice,_)E: istwin(alice)C: not twin(alice,husband) C: twin(alice,husband)F: twin(alice,husband)E: not twin(alice,husband) C: not older(husband,alice) C: older(husband,alice)F: older(husband,alice)E: not older(husband,alice) C: not together(husband,alice) C: together(husband,alice)C: (husband = alice)F: (husband = alice)R: together(husband,alice)C: (alice = alice)E: (alice = alice)C: (husband = husband)E: (husband = husband)E: together(husband,alice)F: not together(husband,alice) R: not older(husband,alice) F: not older(husband,alice) R: not twin(alice,husband) F: not twin(alice,husband) R: twin(alice,_)F: twin(alice,_)F: istwin(alice)R: person(Victim_1)E: person(husband)C: istwin(husband)C: twin(husband,_)F: twin(husband,_)F: istwin(husband)R: person(Victim_1)E: person(son)C: istwin(son)C: twin(son,_)E: twin(son,_)E: istwin(son)C: not twin(son,husband) C: twin(son,husband)F: twin(son,husband)E: not twin(son,husband) C: not older(husband,son) C: older(husband,son)E: older(husband,son)F: not older(husband,son) R: not twin(son,husband) F: not twin(son,husband) R: twin(son,_)F: twin(son,_)F: istwin(son)R: person(Victim_1)E: person(daughter)C: istwin(daughter)C: twin(daughter,_)E: twin(daughter,_)E: istwin(daughter)C: not twin(daughter,husband) C: twin(daughter,husband)F: twin(daughter,husband)E: not twin(daughter,husband) C: not older(husband,daughter) C: older(husband,daughter)E: older(husband,daughter)F: not older(husband,daughter) R: not twin(daughter,husband) F: not twin(daughter,husband) R: twin(daughter,_)F: twin(daughter,_)F: istwin(daughter)R: person(Victim_1)E: person(brother)C: istwin(brother)C: twin(brother,_)E: twin(brother,_)E: istwin(brother)C: not twin(brother,husband) C: twin(brother,husband)F: twin(brother,husband)E: not twin(brother,husband) C: not older(husband,brother) C: older(husband,brother)F: older(husband,brother)E: not older(husband,brother) C: not together(husband,brother) C: together(husband,brother)C: (husband = alice)F: (husband = alice)R: together(husband,brother)C: (brother = alice)F: (brother = alice)F: together(husband,brother)E: not together(husband,brother) C: (husband \= brother)E: (husband \= brother)C: inbar(InBarA_2,InBarB_3)C: person(InBarA_2)E: person(alice)C: person(InBarB_3)E: person(alice)C: male(alice)F: male(alice)R: person(InBarB_3)E: person(husband)C: male(alice)F: male(alice)R: person(InBarB_3)E: person(son)C: male(alice)F: male(alice)R: person(InBarB_3)E: person(daughter)C: male(alice)F: male(alice)R: person(InBarB_3)E: person(brother)C: male(alice)F: male(alice)R: person(InBarB_3)F: person(InBarB_3)R: person(InBarA_2)E: person(husband)C: person(InBarB_3)E: person(alice)C: male(husband)E: male(husband)C: female(alice)E: female(alice)E: inbar(husband,alice)C: (husband \= husband)F: (husband \= husband)R: female(alice)F: female(alice)R: male(husband)F: male(husband)R: person(InBarB_3)E: person(husband)C: male(husband)E: male(husband)C: female(husband)F: female(husband)R: male(husband)F: male(husband)R: person(InBarB_3)E: person(son)C: male(husband)E: male(husband)C: female(son)F: female(son)R: male(husband)F: male(husband)R: person(InBarB_3)E: person(daughter)C: male(husband)E: male(husband)C: female(daughter)E: female(daughter)E: inbar(husband,daughter)C: (husband \= husband)F: (husband \= husband)R: female(daughter)F: female(daughter)R: male(husband)F: male(husband)R: person(InBarB_3)E: person(brother)C: male(husband)E: male(husband)C: female(brother)F: female(brother)R: male(husband)F: male(husband)R: person(InBarB_3)F: person(InBarB_3)R: person(InBarA_2)E: person(son)C: person(InBarB_3)E: person(alice)C: male(son)E: male(son)C: female(alice)E: female(alice)E: inbar(son,alice)C: (son \= husband)E: (son \= husband)C: (alice \= husband)E: (alice \= husband)C: (son \= brother)E: (son \= brother)C: (alice \= brother)E: (alice \= brother)C: not together(son,alice) C: together(son,alice)C: (son = alice)F: (son = alice)R: together(son,alice)C: (alice = alice)E: (alice = alice)C: (son = husband)F: (son = husband)R: (alice = alice)F: (alice = alice)F: together(son,alice)E: not together(son,alice) C: alone(Alone_4)C: person(Alone_4)E: person(alice)C: child(alice)F: child(alice)R: person(Alone_4)E: person(husband)C: child(husband)F: child(husband)R: person(Alone_4)E: person(son)C: child(son)E: child(son)E: alone(son)C: (son \= son)F: (son \= son)R: child(son)F: child(son)R: person(Alone_4)E: person(daughter)C: child(daughter)E: child(daughter)E: alone(daughter)C: (daughter \= son)E: (daughter \= son)C: (daughter \= alice)E: (daughter \= alice)C: (daughter \= husband)E: (daughter \= husband)C: (daughter \= brother)E: (daughter \= brother)E: solution(husband,brother,son,alice,daughter)C: nlE: nlC: write(husband)E: write(husband)C: write(' killed ')E: write(' killed ')C: write(brother)E: write(brother)C: write(.)E: write(.)C: nlE: nlC: write(son)E: write(son)C: write(' and ')E: write(' and ')C: write(alice)E: write(alice)C: write(' were together in the bar.')E: write(' were together in the bar.')C: nlE: nlC: write(daughter)E: write(daughter)C: write(' was alone.')E: write(' was alone.')C: nlE: nlC: nlE: nlE: print_solutionE: consult agatha.pro 


Yes.