Multistrategy Theory Revision with INTHELEX