By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 10:10:50
I know from locally stored knowledge that:
left unique
applies to
is married to
([fact: ["1131457@trueknowledge.com"]])
left object has variable accuracy
not applies to
is married to
([fact: ["1152762@trueknowledge.com"]])
Fact 1:
Karen Elson
is married to
Jack White III
([fact: ["138084010@trueknowledge.com"]])
Fact 1
is true for
2005 - 2011
([fact: ["2312395978@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["671480056@trueknowledge.com"]])
Fact 1
is true for
February 11th 2008 onwards
([fact: ["368680575@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Karen Elson
is not strictly equal to
Meg
Therefore (generator: ["leftunique2@trueknowledge.com"]):
Fact 2:
Meg
is not married to
Jack White III
By calculation (generator: ["leftunique2@trueknowledge.com"]) I know that:
Fact 2
is true for
2005 - 2011
Fact 2
is true for
January 13th 2009 onwards
Fact 2
is true for
February 11th 2008 onwards
Therefore (generator: ["marriedtoeachother2@trueknowledge.com"]):
Fact 3:
married to each other
not applies to
Meg and Jack White III
By calculation (generator: ["marriedtoeachother2@trueknowledge.com"]) I know that:
Fact 3
is true for
January 13th 2009 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 3
is true for all of timepoint
June 19th 2013, 10:10:50
By calculation (generator: ["marriedtoeachother2@trueknowledge.com"]) I know that:
Fact 3
is true for
February 11th 2008 onwards
