implied.clf revision ea9009727600ed1500ddf3adca7794017422c33e
ea9009727600ed1500ddf3adca7794017422c33eKarl Luc(and (P a) (P b))
ea9009727600ed1500ddf3adca7794017422c33eKarl Luc(P a) %implied
ea9009727600ed1500ddf3adca7794017422c33eKarl Luc(Cube a) %(one)%
ea9009727600ed1500ddf3adca7794017422c33eKarl Luc(Dodec b) %(two)%
ea9009727600ed1500ddf3adca7794017422c33eKarl Luc(or (Cube a) (Cube b)) %implied
ea9009727600ed1500ddf3adca7794017422c33eKarl Luc(and (P b) (P c))
ea9009727600ed1500ddf3adca7794017422c33eKarl Luc(and (P a) (P c)) %(transitivity)% %implied