father(b1,b2).
father(p1,p2).
father(b2,b3).
father(p2,p3).
father(b3,b4).
father(p3,p4).
father(b4,b5).
father(p4,p5).
father(b5,b6).
father(p5,p6).
father(b6,b7).
father(p6,p7).
father(b7,b8).
father(p7,p8).
father(b8,b9).
father(p8,p9).
father(b9,b10).
father(p9,p10).
father(b10,b11).
father(p10,p11).
father(b11,b12).
father(p11,p12).
father(b12,b13).
father(p12,p13).
father(b13,b14).
father(p13,p14).
father(b14,b15).
father(p14,p15).
father(b15,b16).
father(p15,p16).
father(b16,b17).
father(p16,p17).
father(b17,b18).
father(p17,p18).
father(b18,b19).
father(p18,p19).
father(b19,b20).
father(p19,p20).
father(b20,b21).
father(p20,p21).
father(b21,b22).
father(p21,p22).
father(b22,b23).
father(p22,p23).
father(b23,b24).
father(p23,p24).
father(b24,b25).
father(p24,p25).
father(b25,b26).
father(p25,p26).
father(b26,b27).
father(p26,p27).
father(b27,b28).
father(p27,p28).
father(b28,b29).
father(p28,p29).
father(b29,b30).
father(p29,p30).
father(b30,b31).
father(p30,p31).
father(b31,b32).
father(p31,p32).
father(b32,b33).
father(p32,p33).
father(b33,b34).
father(p33,p34).
father(b34,b35).
father(p34,p35).
father(b35,b36).
father(p35,p36).
father(b36,b37).
father(p36,p37).
father(b37,b38).
father(p37,p38).
father(b38,b39).
father(p38,p39).
father(b39,b40).
father(p39,p40).
father(b40,b41).
father(p40,p41).
father(b41,b42).
father(p41,p42).
father(b42,b43).
father(p42,p43).
father(b43,b44).
father(p43,p44).
father(b44,b45).
father(p44,p45).
father(b45,b46).
father(p45,p46).
father(b46,b47).
father(p46,p47).
father(b47,b48).
father(p47,p48).
father(b48,b49).
father(p48,p49).
father(b49,b50).
father(p49,p50).
father(b50,b51).
father(p50,p51).
father(b51,b52).
father(p51,p52).
father(b52,b53).
father(p52,p53).
father(b53,b54).
father(p53,p54).
father(b54,b55).
father(p54,p55).
father(b55,b56).
father(p55,p56).
father(b56,b57).
father(p56,p57).
father(b57,b58).
father(p57,p58).
father(b58,b59).
father(p58,p59).
father(b59,b60).
father(p59,p60).
father(b60,b61).
father(p60,p61).
father(b61,b62).
father(p61,p62).
father(b62,b63).
father(p62,p63).
father(b63,b64).
father(p63,p64).
father(b64,b65).
father(p64,p65).
father(b65,b66).
father(p65,p66).
father(b66,b67).
father(p66,p67).
father(b67,b68).
father(p67,p68).
father(b68,b69).
father(p68,p69).
father(b69,b70).
father(p69,p70).
father(b70,b71).
father(p70,p71).
father(b71,b72).
father(p71,p72).
father(b72,b73).
father(p72,p73).
father(b73,b74).
father(p73,p74).
father(b74,b75).
father(p74,p75).
father(b75,b76).
father(p75,p76).
father(b76,b77).
father(p76,p77).
father(b77,b78).
father(p77,p78).
father(b78,b79).
father(p78,p79).
father(b79,b80).
father(p79,p80).
father(b80,b81).
father(p80,p81).
father(b81,b82).
father(p81,p82).
father(b82,b83).
father(p82,p83).
father(b83,b84).
father(p83,p84).
father(b84,b85).
father(p84,p85).
father(b85,b86).
father(p85,p86).
father(b86,b87).
father(p86,p87).
father(b87,b88).
father(p87,p88).
father(b88,b89).
father(p88,p89).
father(b89,b90).
father(p89,p90).
father(b90,b91).
father(p90,p91).
father(b91,b92).
father(p91,p92).
father(b92,b93).
father(p92,p93).
father(b93,b94).
father(p93,p94).
father(b94,b95).
father(p94,p95).
father(b95,b96).
father(p95,p96).
father(b96,b97).
father(p96,p97).
father(b97,b98).
father(p97,p98).
father(b98,b99).
father(p98,p99).
father(b99,b100).
father(p99,p100).
father(b100,b101).
father(p100,p101).
father(b101,b102).
father(p101,p102).
father(b102,b103).
father(p102,p103).
father(b103,b104).
father(p103,p104).
father(b104,b105).
father(p104,p105).
father(b105,b106).
father(p105,p106).
father(b106,b107).
father(p106,p107).
father(b107,b108).
father(p107,p108).
father(b108,b109).
father(p108,p109).
father(b109,b110).
father(p109,p110).
father(b110,b111).
father(p110,p111).
father(b111,b112).
father(p111,p112).
father(b112,b113).
father(p112,p113).
father(b113,b114).
father(p113,p114).
father(b114,b115).
father(p114,p115).
father(b115,b116).
father(p115,p116).
father(b116,b117).
father(p116,p117).
father(b117,b118).
father(p117,p118).
father(b118,b119).
father(p118,p119).
father(b119,b120).
father(p119,p120).
father(b120,b121).
father(p120,p121).
father(b121,b122).
father(p121,p122).
father(b122,b123).
father(p122,p123).
father(b123,b124).
father(p123,p124).
father(b124,b125).
father(p124,p125).
father(b125,b126).
father(p125,p126).
father(b126,b127).
father(p126,p127).
father(b127,b128).
father(p127,p128).
father(b128,b129).
father(p128,p129).
father(b129,b130).
father(p129,p130).
father(b130,b131).
father(p130,p131).
father(b131,b132).
father(p131,p132).
father(b132,b133).
father(p132,p133).
father(b133,b134).
father(p133,p134).
father(b134,b135).
father(p134,p135).
father(b135,b136).
father(p135,p136).
father(b136,b137).
father(p136,p137).
father(b137,b138).
father(p137,p138).
father(b138,b139).
father(p138,p139).
father(b139,b140).
father(p139,p140).
father(b140,b141).
father(p140,p141).
father(b141,b142).
father(p141,p142).
father(b142,b143).
father(p142,p143).
father(b143,b144).
father(p143,p144).
father(b144,b145).
father(p144,p145).
father(b145,b146).
father(p145,p146).
father(b146,b147).
father(p146,p147).
father(b147,b148).
father(p147,p148).
father(b148,b149).
father(p148,p149).
father(b149,b150).
father(p149,p150).
father(b150,b151).
father(p150,p151).
father(b151,b152).
father(p151,p152).
father(b152,b153).
father(p152,p153).
father(b153,b154).
father(p153,p154).
father(b154,b155).
father(p154,p155).
father(b155,b156).
father(p155,p156).
father(b156,b157).
father(p156,p157).
father(b157,b158).
father(p157,p158).
father(b158,b159).
father(p158,p159).
father(b159,b160).
father(p159,p160).
father(b160,b161).
father(p160,p161).
father(b161,b162).
father(p161,p162).
father(b162,b163).
father(p162,p163).
father(b163,b164).
father(p163,p164).
father(b164,b165).
father(p164,p165).
father(b165,b166).
father(p165,p166).
father(b166,b167).
father(p166,p167).
father(b167,b168).
father(p167,p168).
father(b168,b169).
father(p168,p169).
father(b169,b170).
father(p169,p170).
father(b170,b171).
father(p170,p171).
father(b171,b172).
father(p171,p172).
father(b172,b173).
father(p172,p173).
father(b173,b174).
father(p173,p174).
father(b174,b175).
father(p174,p175).
father(b175,b176).
father(p175,p176).
father(b176,b177).
father(p176,p177).
father(b177,b178).
father(p177,p178).
father(b178,b179).
father(p178,p179).
father(b179,b180).
father(p179,p180).
father(b180,b181).
father(p180,p181).
father(b181,b182).
father(p181,p182).
father(b182,b183).
father(p182,p183).
father(b183,b184).
father(p183,p184).
father(b184,b185).
father(p184,p185).
father(b185,b186).
father(p185,p186).
father(b186,b187).
father(p186,p187).
father(b187,b188).
father(p187,p188).
father(b188,b189).
father(p188,p189).
father(b189,b190).
father(p189,p190).
father(b190,b191).
father(p190,p191).
father(b191,b192).
father(p191,p192).
father(b192,b193).
father(p192,p193).
father(b193,b194).
father(p193,p194).
father(b194,b195).
father(p194,p195).
father(b195,b196).
father(p195,p196).
father(b196,b197).
father(p196,p197).
father(b197,b198).
father(p197,p198).
father(b198,b199).
father(p198,p199).
father(b199,b200).
father(p199,p200).
father(b200,b201).
father(p200,p201).
father(b201,b202).
father(p201,p202).
father(b202,b203).
father(p202,p203).
father(b203,b204).
father(p203,p204).
father(b204,b205).
father(p204,p205).
father(b205,b206).
father(p205,p206).
father(b206,b207).
father(p206,p207).
father(b207,b208).
father(p207,p208).
father(b208,b209).
father(p208,p209).
father(b209,b210).
father(p209,p210).
father(b210,b211).
father(p210,p211).
father(b211,b212).
father(p211,p212).
father(b212,b213).
father(p212,p213).
father(b213,b214).
father(p213,p214).
father(b214,b215).
father(p214,p215).
father(b215,b216).
father(p215,p216).
father(b216,b217).
father(p216,p217).
father(b217,b218).
father(p217,p218).
father(b218,b219).
father(p218,p219).
father(b219,b220).
father(p219,p220).
father(b220,b221).
father(p220,p221).
father(b221,b222).
father(p221,p222).
father(b222,b223).
father(p222,p223).
father(b223,b224).
father(p223,p224).
father(b224,b225).
father(p224,p225).
father(b225,b226).
father(p225,p226).
father(b226,b227).
father(p226,p227).
father(b227,b228).
father(p227,p228).
father(b228,b229).
father(p228,p229).
father(b229,b230).
father(p229,p230).
father(b230,b231).
father(p230,p231).
father(b231,b232).
father(p231,p232).
father(b232,b233).
father(p232,p233).
father(b233,b234).
father(p233,p234).
father(b234,b235).
father(p234,p235).
father(b235,b236).
father(p235,p236).
father(b236,b237).
father(p236,p237).
father(b237,b238).
father(p237,p238).
father(b238,b239).
father(p238,p239).
father(b239,b240).
father(p239,p240).
father(b240,b241).
father(p240,p241).
father(b241,b242).
father(p241,p242).
father(b242,b243).
father(p242,p243).
father(b243,b244).
father(p243,p244).
father(b244,b245).
father(p244,p245).
father(b245,b246).
father(p245,p246).
father(b246,b247).
father(p246,p247).
father(b247,b248).
father(p247,p248).
father(b248,b249).
father(p248,p249).
father(b249,b250).
father(p249,p250).
father(b250,b251).
father(p250,p251).
father(b251,b252).
father(p251,p252).
father(b252,b253).
father(p252,p253).
father(b253,b254).
father(p253,p254).
father(b254,b255).
father(p254,p255).
father(b255,b256).
father(p255,p256).
father(b256,b257).
father(p256,p257).
father(b257,b258).
father(p257,p258).
father(b258,b259).
father(p258,p259).
father(b259,b260).
father(p259,p260).
father(b260,b261).
father(p260,p261).
father(b261,b262).
father(p261,p262).
father(b262,b263).
father(p262,p263).
father(b263,b264).
father(p263,p264).
father(b264,b265).
father(p264,p265).
father(b265,b266).
father(p265,p266).
father(b266,b267).
father(p266,p267).
father(b267,b268).
father(p267,p268).
father(b268,b269).
father(p268,p269).
father(b269,b270).
father(p269,p270).
father(b270,b271).
father(p270,p271).
father(b271,b272).
father(p271,p272).
father(b272,b273).
father(p272,p273).
father(b273,b274).
father(p273,p274).
father(b274,b275).
father(p274,p275).
father(b275,b276).
father(p275,p276).
father(b276,b277).
father(p276,p277).
father(b277,b278).
father(p277,p278).
father(b278,b279).
father(p278,p279).
father(b279,b280).
father(p279,p280).
father(b280,b281).
father(p280,p281).
father(b281,b282).
father(p281,p282).
father(b282,b283).
father(p282,p283).
father(b283,b284).
father(p283,p284).
father(b284,b285).
father(p284,p285).
father(b285,b286).
father(p285,p286).
father(b286,b287).
father(p286,p287).
father(b287,b288).
father(p287,p288).
father(b288,b289).
father(p288,p289).
father(b289,b290).
father(p289,p290).
father(b290,b291).
father(p290,p291).
father(b291,b292).
father(p291,p292).
father(b292,b293).
father(p292,p293).
father(b293,b294).
father(p293,p294).
father(b294,b295).
father(p294,p295).
father(b295,b296).
father(p295,p296).
father(b296,b297).
father(p296,p297).
father(b297,b298).
father(p297,p298).
father(b298,b299).
father(p298,p299).
father(b299,b300).
father(p299,p300).
father(b300,b301).
father(p300,p301).
father(b301,b302).
father(p301,p302).
father(b302,b303).
father(p302,p303).
father(b303,b304).
father(p303,p304).
father(b304,b305).
father(p304,p305).
father(b305,b306).
father(p305,p306).
father(b306,b307).
father(p306,p307).
father(b307,b308).
father(p307,p308).
father(b308,b309).
father(p308,p309).
father(b309,b310).
father(p309,p310).
father(b310,b311).
father(p310,p311).
father(b311,b312).
father(p311,p312).
father(b312,b313).
father(p312,p313).
father(b313,b314).
father(p313,p314).
father(b314,b315).
father(p314,p315).
father(b315,b316).
father(p315,p316).
father(b316,b317).
father(p316,p317).
father(b317,b318).
father(p317,p318).
father(b318,b319).
father(p318,p319).
father(b319,b320).
father(p319,p320).
father(b320,b321).
father(p320,p321).
father(b321,b322).
father(p321,p322).
father(b322,b323).
father(p322,p323).
father(b323,b324).
father(p323,p324).
father(b324,b325).
father(p324,p325).
father(b325,b326).
father(p325,p326).
father(b326,b327).
father(p326,p327).
father(b327,b328).
father(p327,p328).
father(b328,b329).
father(p328,p329).
father(b329,b330).
father(p329,p330).
father(b330,b331).
father(p330,p331).
father(b331,b332).
father(p331,p332).
father(b332,b333).
father(p332,p333).
father(b333,b334).
father(p333,p334).
father(b334,b335).
father(p334,p335).
father(b335,b336).
father(p335,p336).
father(b336,b337).
father(p336,p337).
father(b337,b338).
father(p337,p338).
father(b338,b339).
father(p338,p339).
father(b339,b340).
father(p339,p340).
father(b340,b341).
father(p340,p341).
father(b341,b342).
father(p341,p342).
father(b342,b343).
father(p342,p343).
father(b343,b344).
father(p343,p344).
father(b344,b345).
father(p344,p345).
father(b345,b346).
father(p345,p346).
father(b346,b347).
father(p346,p347).
father(b347,b348).
father(p347,p348).
father(b348,b349).
father(p348,p349).
father(b349,b350).
father(p349,p350).
father(b350,b351).
father(p350,p351).
father(b351,b352).
father(p351,p352).
father(b352,b353).
father(p352,p353).
father(b353,b354).
father(p353,p354).
father(b354,b355).
father(p354,p355).
father(b355,b356).
father(p355,p356).
father(b356,b357).
father(p356,p357).
father(b357,b358).
father(p357,p358).
father(b358,b359).
father(p358,p359).
father(b359,b360).
father(p359,p360).
father(b360,b361).
father(p360,p361).
father(b361,b362).
father(p361,p362).
father(b362,b363).
father(p362,p363).
father(b363,b364).
father(p363,p364).
father(b364,b365).
father(p364,p365).
father(b365,b366).
father(p365,p366).
father(b366,b367).
father(p366,p367).
father(b367,b368).
father(p367,p368).
father(b368,b369).
father(p368,p369).
father(b369,b370).
father(p369,p370).
father(b370,b371).
father(p370,p371).
father(b371,b372).
father(p371,p372).
father(b372,b373).
father(p372,p373).
father(b373,b374).
father(p373,p374).
father(b374,b375).
father(p374,p375).
father(b375,b376).
father(p375,p376).
father(b376,b377).
father(p376,p377).
father(b377,b378).
father(p377,p378).
father(b378,b379).
father(p378,p379).
father(b379,b380).
father(p379,p380).
father(b380,b381).
father(p380,p381).
father(b381,b382).
father(p381,p382).
father(b382,b383).
father(p382,p383).
father(b383,b384).
father(p383,p384).
father(b384,b385).
father(p384,p385).
father(b385,b386).
father(p385,p386).
father(b386,b387).
father(p386,p387).
father(b387,b388).
father(p387,p388).
father(b388,b389).
father(p388,p389).
father(b389,b390).
father(p389,p390).
father(b390,b391).
father(p390,p391).
father(b391,b392).
father(p391,p392).
father(b392,b393).
father(p392,p393).
father(b393,b394).
father(p393,p394).
father(b394,b395).
father(p394,p395).
father(b395,b396).
father(p395,p396).
father(b396,b397).
father(p396,p397).
father(b397,b398).
father(p397,p398).
father(b398,b399).
father(p398,p399).
father(b399,b400).
father(p399,p400).
father(b400,b401).
father(p400,p401).
father(b401,b402).
father(p401,p402).
father(b402,b403).
father(p402,p403).
father(b403,b404).
father(p403,p404).
father(b404,b405).
father(p404,p405).
father(b405,b406).
father(p405,p406).
father(b406,b407).
father(p406,p407).
father(b407,b408).
father(p407,p408).
father(b408,b409).
father(p408,p409).
father(b409,b410).
father(p409,p410).
father(b410,b411).
father(p410,p411).
father(b411,b412).
father(p411,p412).
father(b412,b413).
father(p412,p413).
father(b413,b414).
father(p413,p414).
father(b414,b415).
father(p414,p415).
father(b415,b416).
father(p415,p416).
father(b416,b417).
father(p416,p417).
father(b417,b418).
father(p417,p418).
father(b418,b419).
father(p418,p419).
father(b419,b420).
father(p419,p420).
father(b420,b421).
father(p420,p421).
father(b421,b422).
father(p421,p422).
father(b422,b423).
father(p422,p423).
father(b423,b424).
father(p423,p424).
father(b424,b425).
father(p424,p425).
father(b425,b426).
father(p425,p426).
father(b426,b427).
father(p426,p427).
father(b427,b428).
father(p427,p428).
father(b428,b429).
father(p428,p429).
father(b429,b430).
father(p429,p430).
father(b430,b431).
father(p430,p431).
father(b431,b432).
father(p431,p432).
father(b432,b433).
father(p432,p433).
father(b433,b434).
father(p433,p434).
father(b434,b435).
father(p434,p435).
father(b435,b436).
father(p435,p436).
father(b436,b437).
father(p436,p437).
father(b437,b438).
father(p437,p438).
father(b438,b439).
father(p438,p439).
father(b439,b440).
father(p439,p440).
father(b440,b441).
father(p440,p441).
father(b441,b442).
father(p441,p442).
father(b442,b443).
father(p442,p443).
father(b443,b444).
father(p443,p444).
father(b444,b445).
father(p444,p445).
father(b445,b446).
father(p445,p446).
father(b446,b447).
father(p446,p447).
father(b447,b448).
father(p447,p448).
father(b448,b449).
father(p448,p449).
father(b449,b450).
father(p449,p450).
father(b450,b451).
father(p450,p451).
father(b451,b452).
father(p451,p452).
father(b452,b453).
father(p452,p453).
father(b453,b454).
father(p453,p454).
father(b454,b455).
father(p454,p455).
father(b455,b456).
father(p455,p456).
father(b456,b457).
father(p456,p457).
father(b457,b458).
father(p457,p458).
father(b458,b459).
father(p458,p459).
father(b459,b460).
father(p459,p460).
father(b460,b461).
father(p460,p461).
father(b461,b462).
father(p461,p462).
father(b462,b463).
father(p462,p463).
father(b463,b464).
father(p463,p464).
father(b464,b465).
father(p464,p465).
father(b465,b466).
father(p465,p466).
father(b466,b467).
father(p466,p467).
father(b467,b468).
father(p467,p468).
father(b468,b469).
father(p468,p469).
father(b469,b470).
father(p469,p470).
father(b470,b471).
father(p470,p471).
father(b471,b472).
father(p471,p472).
father(b472,b473).
father(p472,p473).
father(b473,b474).
father(p473,p474).
father(b474,b475).
father(p474,p475).
father(b475,b476).
father(p475,p476).
father(b476,b477).
father(p476,p477).
father(b477,b478).
father(p477,p478).
father(b478,b479).
father(p478,p479).
father(b479,b480).
father(p479,p480).
father(b480,b481).
father(p480,p481).
father(b481,b482).
father(p481,p482).
father(b482,b483).
father(p482,p483).
father(b483,b484).
father(p483,p484).
father(b484,b485).
father(p484,p485).
father(b485,b486).
father(p485,p486).
father(b486,b487).
father(p486,p487).
father(b487,b488).
father(p487,p488).
father(b488,b489).
father(p488,p489).
father(b489,b490).
father(p489,p490).
father(b490,b491).
father(p490,p491).
father(b491,b492).
father(p491,p492).
father(b492,b493).
father(p492,p493).
father(b493,b494).
father(p493,p494).
father(b494,b495).
father(p494,p495).
father(b495,b496).
father(p495,p496).
father(b496,b497).
father(p496,p497).
father(b497,b498).
father(p497,p498).
father(b498,b499).
father(p498,p499).
father(b499,b500).
father(p499,p500).

bird(b1).
penguin(p1).

bird(X) :- penguin(X).
flies(X) :- bird(X), not -flies(X).
-flies(X) :- penguin(X). 

% these ancestor rules along with the father facts
% above make clingo work ca 8 seconds

anc(X,Y):- father(X,Y).
anc(X,Y) :- anc(X,Z), anc(Z,Y).

% penguin(X):- anc(Y,X), penguin(Y).
% bird(X):- anc(Y,X), bird(Y).

% nflies(X) :- -flies(X).
% :- nflies(p1) ?

:- flies(b1).