The Discovery of Deduction Program

(6)

(2)

(2)

(1)

(1)

(1)

(2)

(53)

(26)

(28)

(13)

(37)

(28)

(6)

(4)

(14)

(22)

(18)

(9)

(451)

(52)

(38)

(199)

(71)

(89)

(78)

(51)

(5)

(48)

(252)

(13)

(17)

(297)

(287)

(297)

(23)

(45)

(200)

(379)

(235)

(158)

(11)

(182)

(10)

(22)

(12)

(15)

(7)

(9)

(7)

(6)

(6)

(5)

(4)