# Generated with http://eulersharp.sourceforge.net/ version 1.4.28 on 31 Jan 2006 10:30:27 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

()!log:conjunction =>
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/builtins#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.


{("a" "b" "c") str:concatenation "abc"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{("a" "b" "c") str:concatenation "abc"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"xyz" str:equalIgnoringCase "XYZ"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"xyz" str:notEqualIgnoringCase "ABC"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"xyz" str:greaterThan "abc"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abc" str:notGreaterThan "xyz"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abc" str:lessThan "xyz"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"xyz" str:notLessThan "abc"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"xyz" str:notLessThan "xyz"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abc" str:startsWith "ab"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abc" str:endsWith "bc"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abc" str:endsWith "abc"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abcXYZ" str:contains "cX"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abcXYZ" str:containsIgnoringCase "Cx"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abracadabra" str:matches "(a|b|r|c|d)+"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"" str:notMatches ".*hello"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{(1.2 2.3 3.5) math:sum 7.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(7.0 1) math:difference 6.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(1 2 3) math:product 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(6 3) math:quotient 2.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(7 3) math:quotient 2.3333333333333335} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(7 3) math:integerQuotient 2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(6.0 2.0) math:remainder 0.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(7 3) math:remainder 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{-5 math:negation 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{-5.1 math:absoluteValue 5.1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{-5.7 math:rounded -6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(2 10) math:exponentiation 1024} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(1 2) math:atan2 0.4636476090008061} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2 math:cos -0.4161468365471424} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{1.0471975511966 math:cos 0.499999999999998} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2 math:degrees 114.59155902616465} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2 math:sin 0.9092974268256817} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{0.5235987755982989 math:sin 0.5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2 math:tan -2.185039863261519} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{0.4636476090008061 math:tan 0.5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{("a" ("b" "c") "d") math:memberCount 3} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{6 math:greaterThan 2.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2.0 math:notGreaterThan 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2.0 math:lessThan 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{6 math:notLessThan 2.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{6 math:equalTo 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2.0 math:notEqualTo 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{:x log:equalTo :x} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{:x log:notEqualTo :y} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{{:a :b :c. :d :e :f. :g :h :i} log:includes {:d :e :f}} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{{:a :b :c. :d :e :f. :g :h :i} log:notIncludes {:d :x :f}} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{("2005-03-30T11:00:00" :tz) log:dtlit "2005-03-30T11:00:00"^^:tz} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{:q log:uri "http://www.agfa.com/w3c/euler/builtins#q"} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 

# Proof found in 51 steps (188 steps/sec) using 3 engines (0 triples)
}.