I know from locally stored knowledge that:
Fact 1:
Stephen Grover Cleveland
is the president of
the United States
([fact: ["1143408@trueknowledge.com"]])
Fact 1
is true for
March 4th 1893 - March 4th 1897
([fact: ["1143415@trueknowledge.com"]])
Fact 1
is true for
March 4th 1885 - March 4th 1889
([fact: ["1143414@trueknowledge.com"]])
Fact 4:
Stephen Grover Cleveland
is not the president of
the United States
([fact: ["1143410@trueknowledge.com"]])
Fact 4
is true for
March 4th 1889 - March 4th 1893
([fact: ["1143413@trueknowledge.com"]])
Fact 4
is true for
March 4th 1897 onwards
([fact: ["1143412@trueknowledge.com"]])
By calculation (generator: ["leftunique2@trueknowledge.com"]) I know that:
Fact 4
is true for
September 19th 1881 - March 4th 1885
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
the fact 1143410@trueknowledge.com
is strictly equal to
the fact 1143410@trueknowledge.com
March 4th 1893
is strictly equal to
March 4th 1893
March 4th 1897
is strictly equal to
March 4th 1897
March 4th 1893 - March 4th 1897
is strictly equal to
March 4th 1893 - March 4th 1897
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact 1143408@trueknowledge.com
is true for the complete timeperiod
March 4th 1893 - March 4th 1897
I know from locally stored knowledge that:
left unique
applies to
is the president of
([fact: ["1132068@trueknowledge.com"]])
left object has variable accuracy
not applies to
is the president of
([fact: ["1152757@trueknowledge.com"]])
Fact 7:
Chester A. Arthur
is the president of
the United States
([fact: ["1154021@trueknowledge.com"]])
Fact 7
is true for
September 19th 1881 - March 4th 1885
([fact: ["130984615@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Chester A. Arthur
is not strictly equal to
Stephen Grover Cleveland
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
March 4th 1885
is strictly equal to
March 4th 1885
March 4th 1889
is strictly equal to
March 4th 1889
March 4th 1885 - March 4th 1889
is strictly equal to
March 4th 1885 - March 4th 1889
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact 1143408@trueknowledge.com
is true for the complete timeperiod
March 4th 1885 - March 4th 1889