implied.clf revision 9fc726ee81f01ddb1a25cfc6eac7f2f88ef28e58
(and (P a) (P b))
(P a) %implied
(Cube a) %(one)%
(Dodec b) %(two)%
(or (Cube a) (Cube b)) %implied
(and (P b) (P c))
(and (P a) (P c)) %(transitivity)% %implied