Cross Reference: implied.clf
xref
: /
hets
/
CommonLogic
/
TestData
/
implied.clf
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
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