sure(mark). sure(tom). sure(jane). friend(jerry,mark). friend(penny,mark). friend(jerry,jane). friend(penny,jane). friend(jerry,penny). friend(penny,tom).