I know from locally stored knowledge that:
Fact 1:
John Lennon
is a member of
The Beatles
([fact: ["123937734@trueknowledge.com"]])
Fact 1
is true for
1957 - 1970
([fact: ["123937735@trueknowledge.com"]])
By calculation (generator: ["moc1@trueknowledge.com"]) I know that:
Fact 2:
John Lennon
is a
member of the Beatles
Fact 2
is true for
1957 - 1970
I know from locally stored knowledge that:
Fact 3:
John Lennon
is not a member of
The Beatles
([fact: ["123937736@trueknowledge.com"]])
Fact 3
is true for
1970 onwards
([fact: ["123948829@trueknowledge.com"]])
Fact 3
is true for
the beginning of time - 1957
([fact: ["123937737@trueknowledge.com"]])
Therefore (generator: ["not_instance8@trueknowledge.com"]):
Fact 4:
John Lennon
is not a
member of the Beatles
By calculation (generator: ["not_instance8@trueknowledge.com"]) I know that:
Fact 4
is true for
1970 onwards
Fact 4
is true for
the beginning of time - 1957
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
1957
is strictly equal to
1957
By calculation (generator: ["fact_that_became_true_on@trueknowledge.com"]) I know that:
the fact inferred$john$lennon$is$an$instance$of$missing$object$class$$[fact$pattern$$[object$unspecified];$[is$a$member$of];$[the$beatles]]$@trueknowledge.com
is a fact that became true on
1957
