Addition of facts - works for bigger imput. Also lemma works well now.
Enough. Falsification repair on next session.