* transformation applied to them.
*
* On average, this approach is more efficient than {@link #createWithProver(SentenceFormModel)}.
*/
public static ImmutableConstantChecker createWithForwardChaining(SentenceDomainModel model) throws InterruptedException {
GdlChainingReasoner reasoner = GdlChainingReasoner.create(model);
GdlSentenceSet sentencesByForm = reasoner.getConstantSentences();
addSentencesTrueByRulesDifferentially(sentencesByForm, model, reasoner);
return ImmutableConstantChecker.create(model,
Multimaps.filterKeys(sentencesByForm.getSentences(), Predicates.in(model.getConstantSentenceForms())));
}