I know from locally stored knowledge that:

Bistrica
commonly translates as
"Bistrica"
([fact: ["98408030@trueknowledge.com"]])

Fact 1:
Central European Summer Time
is the time zone for
the Central European Time region
([fact: ["20031361@trueknowledge.com"]])

Fact 1
is true for
March 30th 2014, 01:00 - October 26th 2014, 01:00
([fact: ["851833568@trueknowledge.com"]])

daylight saving
applies to
Central European Summer Time
([fact: ["97193989@trueknowledge.com"]])

By calculation (generator: ["now@trueknowledge.com"]) I know that:

The current time is April 25th 2014, 01:46:16

By calculation (generator: ["earlier_than_timepoint@trueknowledge.com"]) I know that:

April 25th 2014, 01:46:16
is earlier than the timepoint
October 26th 2014, 01:00

Therefore (generator: ["earlier_than_timepoint@trueknowledge.com"]):

April 25th 2014, 01:46:16
is not later than the timepoint
October 26th 2014, 01:00

By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:

April 25th 2015, 01:46:16
is the timepoint sum of
April 25th 2014, 01:46:16 and 1 year, 0 months and 0 days

By calculation (generator: ["earlier_than_timepoint@trueknowledge.com"]) I know that:

October 26th 2014, 01:00
is earlier than the timepoint
April 25th 2015, 01:46:16

Therefore (generator: ["earlier_than_timepoint@trueknowledge.com"]):

October 26th 2014, 01:00
is not later than the timepoint
April 25th 2015, 01:46:16

I know from locally stored knowledge that:

Fact 2:
+2 hours
is the time zone differential of
Central European Summer Time
([fact: ["20030720@trueknowledge.com"]])

Fact 2
is true for
August 20th 2010, 15:32:43 onwards
([fact: ["933756070@trueknowledge.com"]])

By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:

Fact 2
is true at
April 25th 2014, 01:46:16

By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:

October 26th 2014, 03:00
is the timepoint sum of
October 26th 2014, 01:00 and 2 hours and 0 minutes

By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:

October 26th 2014, 03:00 CEDT
is the local time equivalent to
October 26th 2014, 01:00

By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:

October 26th 2014, 03:00 CEDT
is strictly equal to
October 26th 2014, 03:00 CEDT

October 26th 2014, 01:00
is strictly equal to
October 26th 2014, 01:00

By calculation (generator: ["timepoint_common_translation@trueknowledge.com"]) I know that:

October 26th 2014, 01:00
commonly translates as
"October 26th 2014, 01:00"

By calculation (generator: ["tptranslate1@trueknowledge.com"]) I know that:

October 26th 2014, 03:00 CEDT
commonly translates as
"October 26th 2014, 03:00 CEDT"

By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:

October 25th 2014, 01:46:16
is the timepoint sum of
April 25th 2014, 01:46:16 and 6 months and 0 days

By calculation (generator: ["description_daylight-saving_end_in@trueknowledge.com"]) I know that:

Fact 3:
The clocks in Bistrica go back on October 26th 2014, 03:00 CEDT (October 26th 2014, 01:00 UTC).
is the description of daylight-saving end in
Bistrica

Fact 3
is true for
April 25th 2014, 01:46:16 - October 25th 2014, 01:46:16