Minimal Facts and intermediate premises

http://whatswrongwiththeworld.net/2018/08/problems_with_minimal_facts_on.html