1
Lawgic: A -> B
A
—————
B
2
Lawgic: A -> B
/B
—————
/A
3
Lawgic: A -> B -> C
—————
A -> C
4
Lawgic: A some B -> C
—————
A some C
5
Lawgic: A m-> B -> C
—————
A m-> C
6
Lawgic: A-> B
A -> C
—————
B some C
7
Lawgic: A -> B
A some C
—————
B some C
8
Lawgic: A -> B
A m-> C
—————
B some C
9
Lawgic: A m-> B
A m-> C
—————
B some C