Forward-chaining inferencers, implemented as StackableSails.