I know from locally stored knowledge that:
George VI of the United Kingdom
is a parent of
Elizabeth II
([fact: ["147430877@trueknowledge.com"]])
Elizabeth II
is a parent of
Prince Charles
([fact: ["1149519@trueknowledge.com"]])
By calculation (generator: ["grandparent1@trueknowledge.com"]) I know that:
George VI of the United Kingdom
is a grandparent of
Prince Charles
I know from locally stored knowledge that:
Elizabeth II
is a parent of
Princess Anne
([fact: ["1155044@trueknowledge.com"]])
By calculation (generator: ["grandparent1@trueknowledge.com"]) I know that:
George VI of the United Kingdom
is a grandparent of
Princess Anne
I know from locally stored knowledge that:
Elizabeth II
is a parent of
Prince Andrew
([fact: ["807661500@trueknowledge.com"]])
By calculation (generator: ["grandparent1@trueknowledge.com"]) I know that:
George VI of the United Kingdom
is a grandparent of
Prince Andrew
I know from locally stored knowledge that:
Elizabeth II
is a parent of
Prince Edward
([fact: ["136947367@trueknowledge.com"]])
By calculation (generator: ["grandparent1@trueknowledge.com"]) I know that:
George VI of the United Kingdom
is a grandparent of
Prince Edward
I know from locally stored knowledge that:
George VI of the United Kingdom
is a parent of
Princess Margaret
([fact: ["360479703@trueknowledge.com"]])
Princess Margaret
is a parent of
David Armstrong-Jones
([fact: ["682373772@trueknowledge.com"]])
By calculation (generator: ["grandparent1@trueknowledge.com"]) I know that:
George VI of the United Kingdom
is a grandparent of
David Armstrong-Jones
George VI of the United Kingdom
is a grandparent of
Lady Sarah Chatto
I know from locally stored knowledge that:
Princess Margaret
is a parent of
Arthur Chatto
([fact: ["243321178@trueknowledge.com"]])
By calculation (generator: ["grandparent1@trueknowledge.com"]) I know that:
George VI of the United Kingdom
is a grandparent of
Arthur Chatto
I know from locally stored knowledge that:
Lady Frances von Hofmannsthal
is a
person
([fact: ["143917301@trueknowledge.com"]])
Antony Armstrong-Jones
is a parent of
Lady Frances von Hofmannsthal
([fact: ["680067604@trueknowledge.com"]])
Lord Snowdon
is a parent of
Lady Frances von Hofmannsthal
([fact: ["1052657426@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Antony Armstrong-Jones
is not strictly equal to
Lord Snowdon
I know from locally stored knowledge that:
Antony Armstrong-Jones
is a parent of
Arthur Chatto
([fact: ["247168102@trueknowledge.com"]])
Lord Snowdon
is a parent of
Arthur Chatto
([fact: ["1052657422@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Lady Frances von Hofmannsthal
is not strictly equal to
Arthur Chatto
By calculation (generator: ["fullsibling1@trueknowledge.com"]) I know that:
Fact 1:
Lady Frances von Hofmannsthal
is a full sibling of
Arthur Chatto
Fact 1
is true for
all time
By calculation (generator: ["parent2@trueknowledge.com"]) I know that:
Princess Margaret
is a parent of
Lady Frances von Hofmannsthal
By calculation (generator: ["grandparent1@trueknowledge.com"]) I know that:
George VI of the United Kingdom
is a grandparent of
Lady Frances von Hofmannsthal
Adding…
