Diagram P7 P2-contra P10-contra P4-contra P8-contra P5-contra P1-contra P6-contra P9 P3 kangaroo (c=1.000) not-pet-suitable (c=0.900) not-moon-gazer (c=0.810) not-prowl-night (c=0.729) not-carnivorous (c=0.656) not-kills-mice (c=0.590) not-cat (c=0.531) not-in-house (c=0.478) not-takes-to-me (c=0.430) I-detest (c=0.387) I-avoid (c=0.349)

Lewis Carroll Sorites

10-hop deduction chain proving I always avoid a kangaroo. Confidence decays 0.9^depth per NAL deduction.