TRIP — вы его знаете — придумали, как научные доказательства автоматически обобщать. Поиграйте, прикольно: https://www.tripdatabase.com/autosynthesis/search