A linear inference is a valid inequality of Boolean algebra in which each variable occurs at most once on side. In this work we leverage recently developed graphical representations formulae to build an implementation that capable more efficiently searching for switch-medial-independent inferences. We use it find four `minimal' 8-variable independent inferences and also prove no smaller ones ex...