I know from locally stored knowledge that:
Fact 1:
Tokyo
is the capital of
Japan
([fact: ["1158650@trueknowledge.com"]])
Fact 1
is true for
1868 onwards
([fact: ["123906518@trueknowledge.com"]])
Fact 3:
Tokyo
is not the capital of
Japan
([fact: ["123906519@trueknowledge.com"]])
Fact 3
is true for
the beginning of time - 1868
([fact: ["123906520@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
1868
is strictly equal to
1868
By calculation (generator: ["fact_that_became_true_on@trueknowledge.com"]) I know that:
the fact 1158650@trueknowledge.com
is a fact that became true on
1868