Example of inference activities

A proposition to encode (global null/conjunction/inference) and the
degree of global null.