このように、いくつかの一般的な事実を因数分解する関数を書きたい
(defn check-odd-and-positive
[n]
(fact (str n " not odd") n => odd?)
(fact (str n " not positive") n => positive?))
(facts "about the answer"
(check-odd-and-positive 42))
しかし、それは事実の説明として「42 奇数ではない」という結果にはなりません。同様の効果が表形式の事実で達成できることは知っていますが、そのような事実を事実グループ間で共有できるようにしたいと考えています。