/* Learning monks1/1 - the Michalski's MONK'S #1 problem */

background([head_shape/2,body_shape/2,is_smiling/2,
            holding/2,jacket_color/2,has_tie/2]).

propositional([octagon,no,sword,red,yes,round,square,blue,
               flag,green,balloon,yellow]).

/* Examples of the target predicate */

monks1(1).
monks1(2).
monks1(5).
monks1(6).
monks1(7).
monks1(10).
monks1(11).
monks1(12).
monks1(16).
monks1(17).
monks1(18).
monks1(19).
monks1(23).
monks1(24).
monks1(25).
monks1(28).
monks1(29).
monks1(30).
monks1(31).
monks1(35).
monks1(36).
monks1(37).
monks1(38).
monks1(41).
monks1(42).
monks1(44).
monks1(45).
monks1(48).
monks1(49).
monks1(50).
monks1(51).
monks1(55).
monks1(56).
monks1(59).
monks1(60).
monks1(63).
monks1(65).
monks1(66).
monks1(69).
monks1(73).
monks1(74).
monks1(78).
monks1(79).
monks1(82).
monks1(83).
monks1(87).
monks1(88).
monks1(89).
monks1(92).
monks1(93).
monks1(94).
monks1(98).
monks1(99).
monks1(100).
monks1(101).
monks1(108).
monks1(109).
monks1(110).
monks1(111).
monks1(114).
monks1(115).

/* Background knowledge */

body_shape(1,octagon).
body_shape(2,octagon).
body_shape(3,square).
body_shape(4,square).
body_shape(5,round).
body_shape(6,octagon).
body_shape(7,square).
body_shape(8,square).
body_shape(9,square).
body_shape(10,round).
body_shape(11,square).
body_shape(12,octagon).
body_shape(13,square).
body_shape(14,square).
body_shape(15,square).
body_shape(16,square).
body_shape(17,round).
body_shape(18,round).
body_shape(19,square).
body_shape(20,octagon).
body_shape(21,octagon).
body_shape(22,octagon).
body_shape(23,octagon).
body_shape(24,octagon).
body_shape(25,octagon).
body_shape(26,octagon).
body_shape(27,octagon).
body_shape(28,octagon).
body_shape(29,round).
body_shape(30,octagon).
body_shape(31,octagon).
body_shape(32,octagon).
body_shape(33,octagon).
body_shape(34,octagon).
body_shape(35,round).
body_shape(36,square).
body_shape(37,square).
body_shape(38,round).
body_shape(39,round).
body_shape(40,round).
body_shape(41,octagon).
body_shape(42,square).
body_shape(43,octagon).
body_shape(44,square).
body_shape(45,octagon).
body_shape(46,octagon).
body_shape(47,octagon).
body_shape(48,octagon).
body_shape(49,octagon).
body_shape(50,octagon).
body_shape(51,square).
body_shape(52,round).
body_shape(53,round).
body_shape(54,round).
body_shape(55,octagon).
body_shape(56,square).
body_shape(57,round).
body_shape(58,round).
body_shape(59,octagon).
body_shape(60,square).
body_shape(61,square).
body_shape(62,square).
body_shape(63,square).
body_shape(64,square).
body_shape(65,round).
body_shape(66,square).
body_shape(67,square).
body_shape(68,square).
body_shape(69,square).
body_shape(70,square).
body_shape(71,square).
body_shape(72,square).
body_shape(73,square).
body_shape(74,square).
body_shape(75,octagon).
body_shape(76,octagon).
body_shape(77,octagon).
body_shape(78,round).
body_shape(79,round).
body_shape(80,octagon).
body_shape(81,octagon).
body_shape(82,square).
body_shape(83,square).
body_shape(84,octagon).
body_shape(85,octagon).
body_shape(86,round).
body_shape(87,round).
body_shape(88,octagon).
body_shape(89,square).
body_shape(90,round).
body_shape(91,round).
body_shape(92,square).
body_shape(93,round).
body_shape(94,octagon).
body_shape(95,round).
body_shape(96,round).
body_shape(97,round).
body_shape(98,octagon).
body_shape(99,round).
body_shape(100,octagon).
body_shape(101,square).
body_shape(103,round).
body_shape(104,round).
body_shape(105,round).
body_shape(106,octagon).
body_shape(107,octagon).
body_shape(108,octagon).
body_shape(109,octagon).
body_shape(110,square).
body_shape(111,round).
body_shape(112,octagon).
body_shape(113,octagon).
body_shape(114,octagon).
body_shape(115,round).
body_shape(116,round).
body_shape(117,round).
body_shape(118,round).
body_shape(119,square).
body_shape(120,square).
body_shape(121,square).
body_shape(122,square).

is_smiling(1,no).
is_smiling(2,yes).
is_smiling(3,yes).
is_smiling(4,yes).
is_smiling(5,yes).
is_smiling(6,yes).
is_smiling(7,no).
is_smiling(8,yes).
is_smiling(9,yes).
is_smiling(10,yes).
is_smiling(11,yes).
is_smiling(12,yes).
is_smiling(13,no).
is_smiling(14,no).
is_smiling(15,no).
is_smiling(16,yes).
is_smiling(17,no).
is_smiling(18,no).
is_smiling(19,no).
is_smiling(20,yes).
is_smiling(21,yes).
is_smiling(22,yes).
is_smiling(23,no).
is_smiling(24,no).
is_smiling(25,yes).
is_smiling(26,yes).
is_smiling(27,no).
is_smiling(28,no).
is_smiling(29,yes).
is_smiling(30,no).
is_smiling(31,yes).
is_smiling(32,no).
is_smiling(33,no).
is_smiling(34,no).
is_smiling(35,yes).
is_smiling(36,yes).
is_smiling(37,yes).
is_smiling(38,no).
is_smiling(39,no).
is_smiling(40,no).
is_smiling(41,yes).
is_smiling(42,no).
is_smiling(43,no).
is_smiling(44,yes).
is_smiling(45,no).
is_smiling(46,yes).
is_smiling(47,yes).
is_smiling(48,yes).
is_smiling(49,yes).
is_smiling(50,no).
is_smiling(51,yes).
is_smiling(52,no).
is_smiling(53,no).
is_smiling(54,no).
is_smiling(55,yes).
is_smiling(56,no).
is_smiling(57,no).
is_smiling(58,no).
is_smiling(59,yes).
is_smiling(60,yes).
is_smiling(61,yes).
is_smiling(62,yes).
is_smiling(63,no).
is_smiling(64,yes).
is_smiling(65,no).
is_smiling(66,yes).
is_smiling(67,yes).
is_smiling(68,no).
is_smiling(69,no).
is_smiling(70,no).
is_smiling(71,no).
is_smiling(72,no).
is_smiling(73,yes).
is_smiling(74,yes).
is_smiling(75,yes).
is_smiling(76,yes).
is_smiling(77,yes).
is_smiling(78,yes).
is_smiling(79,yes).
is_smiling(80,yes).
is_smiling(81,no).
is_smiling(82,no).
is_smiling(83,no).
is_smiling(84,no).
is_smiling(85,no).
is_smiling(86,yes).
is_smiling(87,no).
is_smiling(88,yes).
is_smiling(89,yes).
is_smiling(90,yes).
is_smiling(91,yes).
is_smiling(92,yes).
is_smiling(93,no).
is_smiling(94,yes).
is_smiling(95,yes).
is_smiling(96,yes).
is_smiling(97,yes).
is_smiling(98,no).
is_smiling(99,yes).
is_smiling(100,no).
is_smiling(101,no).
is_smiling(103,no).
is_smiling(104,no).
is_smiling(105,no).
is_smiling(106,yes).
is_smiling(107,no).
is_smiling(108,no).
is_smiling(109,no).
is_smiling(110,yes).
is_smiling(111,yes).
is_smiling(112,no).
is_smiling(113,no).
is_smiling(114,yes).
is_smiling(115,yes).
is_smiling(116,yes).
is_smiling(117,yes).
is_smiling(118,no).
is_smiling(119,yes).
is_smiling(120,yes).
is_smiling(121,no).
is_smiling(122,no).

has_tie(1,yes).
has_tie(2,yes).
has_tie(3,no).
has_tie(4,yes).
has_tie(5,yes).
has_tie(6,yes).
has_tie(7,yes).
has_tie(8,no).
has_tie(9,yes).
has_tie(10,no).
has_tie(11,no).
has_tie(12,yes).
has_tie(13,no).
has_tie(14,yes).
has_tie(15,no).
has_tie(16,yes).
has_tie(17,yes).
has_tie(18,no).
has_tie(19,no).
has_tie(20,yes).
has_tie(21,yes).
has_tie(22,no).
has_tie(23,no).
has_tie(24,yes).
has_tie(25,no).
has_tie(26,yes).
has_tie(27,no).
has_tie(28,no).
has_tie(29,yes).
has_tie(30,yes).
has_tie(31,yes).
has_tie(32,yes).
has_tie(33,yes).
has_tie(34,no).
has_tie(35,yes).
has_tie(36,yes).
has_tie(37,no).
has_tie(38,yes).
has_tie(39,no).
has_tie(40,no).
has_tie(41,no).
has_tie(42,yes).
has_tie(43,yes).
has_tie(44,yes).
has_tie(45,yes).
has_tie(46,yes).
has_tie(47,yes).
has_tie(48,no).
has_tie(49,no).
has_tie(50,no).
has_tie(51,no).
has_tie(52,no).
has_tie(53,no).
has_tie(54,no).
has_tie(55,no).
has_tie(56,yes).
has_tie(57,yes).
has_tie(58,no).
has_tie(59,no).
has_tie(60,no).
has_tie(61,yes).
has_tie(62,yes).
has_tie(63,yes).
has_tie(64,no).
has_tie(65,yes).
has_tie(66,yes).
has_tie(67,no).
has_tie(68,no).
has_tie(69,no).
has_tie(70,no).
has_tie(71,yes).
has_tie(72,no).
has_tie(73,no).
has_tie(74,yes).
has_tie(75,no).
has_tie(76,yes).
has_tie(77,yes).
has_tie(78,yes).
has_tie(79,no).
has_tie(80,yes).
has_tie(81,no).
has_tie(82,yes).
has_tie(83,no).
has_tie(84,no).
has_tie(85,no).
has_tie(86,yes).
has_tie(87,no).
has_tie(88,no).
has_tie(89,no).
has_tie(90,no).
has_tie(91,yes).
has_tie(92,no).
has_tie(93,yes).
has_tie(94,no).
has_tie(95,yes).
has_tie(96,no).
has_tie(97,no).
has_tie(98,no).
has_tie(99,no).
has_tie(100,no).
has_tie(101,yes).
has_tie(103,no).
has_tie(104,yes).
has_tie(105,yes).
has_tie(106,no).
has_tie(107,no).
has_tie(108,no).
has_tie(109,no).
has_tie(110,no).
has_tie(111,no).
has_tie(112,yes).
has_tie(113,no).
has_tie(114,yes).
has_tie(115,yes).
has_tie(116,no).
has_tie(117,no).
has_tie(118,no).
has_tie(119,no).
has_tie(120,no).
has_tie(121,yes).
has_tie(122,no).

holding(1,sword).
holding(2,sword).
holding(3,sword).
holding(4,flag).
holding(5,sword).
holding(6,sword).
holding(7,sword).
holding(8,flag).
holding(9,balloon).
holding(10,sword).
holding(11,sword).
holding(12,sword).
holding(13,flag).
holding(14,flag).
holding(15,flag).
holding(16,sword).
holding(17,sword).
holding(18,sword).
holding(19,sword).
holding(20,balloon).
holding(21,balloon).
holding(22,balloon).
holding(23,sword).
holding(24,sword).
holding(25,sword).
holding(26,sword).
holding(27,sword).
holding(28,sword).
holding(29,flag).
holding(30,flag).
holding(31,flag).
holding(32,balloon).
holding(33,balloon).
holding(34,balloon).
holding(35,flag).
holding(36,flag).
holding(37,flag).
holding(38,flag).
holding(39,flag).
holding(40,balloon).
holding(41,flag).
holding(42,balloon).
holding(43,flag).
holding(44,balloon).
holding(45,balloon).
holding(46,balloon).
holding(47,flag).
holding(48,balloon).
holding(49,balloon).
holding(50,balloon).
holding(51,balloon).
holding(52,flag).
holding(53,flag).
holding(54,sword).
holding(55,balloon).
holding(56,balloon).
holding(57,sword).
holding(58,sword).
holding(59,balloon).
holding(60,balloon).
holding(61,sword).
holding(62,sword).
holding(63,sword).
holding(64,flag).
holding(65,sword).
holding(66,sword).
holding(67,balloon).
holding(68,sword).
holding(69,sword).
holding(70,balloon).
holding(71,balloon).
holding(72,balloon).
holding(73,sword).
holding(74,sword).
holding(75,balloon).
holding(76,flag).
holding(77,flag).
holding(78,sword).
holding(79,sword).
holding(80,sword).
holding(81,flag).
holding(82,sword).
holding(83,sword).
holding(84,flag).
holding(85,flag).
holding(86,balloon).
holding(87,balloon).
holding(88,balloon).
holding(89,balloon).
holding(90,flag).
holding(91,flag).
holding(92,flag).
holding(93,flag).
holding(94,flag).
holding(95,flag).
holding(96,flag).
holding(97,sword).
holding(98,flag).
holding(99,flag).
holding(100,flag).
holding(101,flag).
holding(103,sword).
holding(104,flag).
holding(105,balloon).
holding(106,balloon).
holding(107,balloon).
holding(108,balloon).
holding(109,balloon).
holding(110,balloon).
holding(111,balloon).
holding(112,flag).
holding(113,sword).
holding(114,balloon).
holding(115,balloon).
holding(116,balloon).
holding(117,flag).
holding(118,balloon).
holding(119,flag).
holding(120,sword).
holding(121,balloon).
holding(122,sword).

jacket_color(1,red).
jacket_color(2,red).
jacket_color(3,blue).
jacket_color(4,green).
jacket_color(5,red).
jacket_color(6,red).
jacket_color(7,red).
jacket_color(8,blue).
jacket_color(9,yellow).
jacket_color(10,red).
jacket_color(11,red).
jacket_color(12,yellow).
jacket_color(13,green).
jacket_color(14,blue).
jacket_color(15,blue).
jacket_color(16,yellow).
jacket_color(17,yellow).
jacket_color(18,yellow).
jacket_color(19,green).
jacket_color(20,blue).
jacket_color(21,green).
jacket_color(22,yellow).
jacket_color(23,green).
jacket_color(24,blue).
jacket_color(25,blue).
jacket_color(26,yellow).
jacket_color(27,yellow).
jacket_color(28,blue).
jacket_color(29,red).
jacket_color(30,red).
jacket_color(31,red).
jacket_color(32,yellow).
jacket_color(33,blue).
jacket_color(34,blue).
jacket_color(35,red).
jacket_color(36,red).
jacket_color(37,red).
jacket_color(38,green).
jacket_color(39,blue).
jacket_color(40,yellow).
jacket_color(41,green).
jacket_color(42,red).
jacket_color(43,blue).
jacket_color(44,red).
jacket_color(45,red).
jacket_color(46,green).
jacket_color(47,green).
jacket_color(48,red).
jacket_color(49,red).
jacket_color(50,red).
jacket_color(51,yellow).
jacket_color(52,green).
jacket_color(53,yellow).
jacket_color(54,yellow).
jacket_color(55,yellow).
jacket_color(56,blue).
jacket_color(57,green).
jacket_color(58,blue).
jacket_color(59,blue).
jacket_color(60,blue).
jacket_color(61,yellow).
jacket_color(62,green).
jacket_color(63,red).
jacket_color(64,green).
jacket_color(65,red).
jacket_color(66,red).
jacket_color(67,blue).
jacket_color(68,yellow).
jacket_color(69,red).
jacket_color(70,yellow).
jacket_color(71,green).
jacket_color(72,green).
jacket_color(73,yellow).
jacket_color(74,green).
jacket_color(75,blue).
jacket_color(76,blue).
jacket_color(77,yellow).
jacket_color(78,green).
jacket_color(79,green).
jacket_color(80,blue).
jacket_color(81,yellow).
jacket_color(82,blue).
jacket_color(83,blue).
jacket_color(84,green).
jacket_color(85,blue).
jacket_color(86,blue).
jacket_color(87,red).
jacket_color(88,red).
jacket_color(89,red).
jacket_color(90,blue).
jacket_color(91,blue).
jacket_color(92,green).
jacket_color(93,blue).
jacket_color(94,blue).
jacket_color(95,green).
jacket_color(96,yellow).
jacket_color(97,green).
jacket_color(98,red).
jacket_color(99,red).
jacket_color(100,red).
jacket_color(101,yellow).
jacket_color(103,yellow).
jacket_color(104,green).
jacket_color(105,blue).
jacket_color(106,blue).
jacket_color(107,green).
jacket_color(108,yellow).
jacket_color(109,green).
jacket_color(110,green).
jacket_color(111,green).
jacket_color(112,yellow).
jacket_color(113,green).
jacket_color(114,yellow).
jacket_color(115,yellow).
jacket_color(116,yellow).
jacket_color(117,yellow).
jacket_color(118,yellow).
jacket_color(119,blue).
jacket_color(120,blue).
jacket_color(121,yellow).
jacket_color(122,green).

head_shape(1,octagon).
head_shape(2,octagon).
head_shape(3,round).
head_shape(4,round).
head_shape(5,octagon).
head_shape(6,square).
head_shape(7,square).
head_shape(8,round).
head_shape(9,round).
head_shape(10,octagon).
head_shape(11,round).
head_shape(12,octagon).
head_shape(13,round).
head_shape(14,round).
head_shape(15,round).
head_shape(16,square).
head_shape(17,round).
head_shape(18,round).
head_shape(19,square).
head_shape(20,round).
head_shape(21,round).
head_shape(22,round).
head_shape(23,octagon).
head_shape(24,octagon).
head_shape(25,octagon).
head_shape(26,round).
head_shape(27,round).
head_shape(28,octagon).
head_shape(29,octagon).
head_shape(30,square).
head_shape(31,square).
head_shape(32,round).
head_shape(33,round).
head_shape(34,round).
head_shape(35,square).
head_shape(36,round).
head_shape(37,octagon).
head_shape(38,round).
head_shape(39,square).
head_shape(40,square).
head_shape(41,octagon).
head_shape(42,octagon).
head_shape(43,round).
head_shape(44,square).
head_shape(45,round).
head_shape(46,square).
head_shape(47,square).
head_shape(48,square).
head_shape(49,octagon).
head_shape(50,octagon).
head_shape(51,square).
head_shape(52,octagon).
head_shape(53,octagon).
head_shape(54,octagon).
head_shape(55,octagon).
head_shape(56,square).
head_shape(57,square).
head_shape(58,square).
head_shape(59,octagon).
head_shape(60,square).
head_shape(61,round).
head_shape(62,round).
head_shape(63,octagon).
head_shape(64,round).
head_shape(65,octagon).
head_shape(66,octagon).
head_shape(67,round).
head_shape(68,round).
head_shape(69,octagon).
head_shape(70,round).
head_shape(71,round).
head_shape(72,round).
head_shape(73,square).
head_shape(74,square).
head_shape(75,round).
head_shape(76,round).
head_shape(77,round).
head_shape(78,round).
head_shape(79,round).
head_shape(80,round).
head_shape(81,round).
head_shape(82,square).
head_shape(83,square).
head_shape(84,round).
head_shape(85,round).
head_shape(86,square).
head_shape(87,round).
head_shape(88,round).
head_shape(89,square).
head_shape(90,square).
head_shape(91,square).
head_shape(92,square).
head_shape(93,round).
head_shape(94,octagon).
head_shape(95,square).
head_shape(96,square).
head_shape(97,square).
head_shape(98,square).
head_shape(99,square).
head_shape(100,round).
head_shape(101,square).
head_shape(103,square).
head_shape(104,square).
head_shape(105,square).
head_shape(106,square).
head_shape(107,square).
head_shape(108,octagon).
head_shape(109,octagon).
head_shape(110,square).
head_shape(111,round).
head_shape(112,square).
head_shape(113,square).
head_shape(114,octagon).
head_shape(115,round).
head_shape(116,octagon).
head_shape(117,octagon).
head_shape(118,octagon).
head_shape(119,octagon).
head_shape(120,octagon).
head_shape(121,octagon).
head_shape(122,octagon).