if a and b then c
if d then e
if f and g then d
if h then f
if i then d
if j and k then b
if q and r then a
if ~i then f
if f and r then g
if e and f then d
if r then b
TRUE:
r
a
d
FALSE:
i
h
q
b
Then try
f
c