WOLFRAM
|
DEMONSTRATIONS PROJECT
L
o
g
i
c
w
i
t
h
L
o
g
i
c
i
a
n
s
n
u
m
b
e
r
o
f
l
o
g
i
c
i
a
n
s
5
s
t
a
t
e
m
e
n
t
s
4
t
r
y
a
g
a
i
n
M
o
v
e
n
a
m
e
s
t
o
m
a
k
e
s
t
a
t
e
m
e
n
t
s
t
r
u
e
!
B
o
l
z
a
n
o
w
a
s
b
o
r
n
b
e
f
o
r
e
T
u
r
i
n
g
.
F
a
l
s
e
C
a
r
r
o
l
l
w
a
s
b
o
r
n
b
e
f
o
r
e
t
h
e
d
e
a
t
h
o
f
L
i
n
d
e
n
b
a
u
m
.
T
r
u
e
L
i
n
d
e
n
b
a
u
m
d
i
d
n
'
t
d
i
e
b
e
f
o
r
e
C
a
r
r
o
l
l
.
T
r
u
e
C
a
r
r
o
l
l
w
a
s
b
o
r
n
b
e
f
o
r
e
t
h
e
d
e
a
t
h
o
f
R
a
m
s
e
y
.
T
r
u
e
T
h
e
D
e
m
o
n
s
t
r
a
t
i
o
n
p
r
o
v
i
d
e
s
a
s
i
m
p
l
e
l
o
g
i
c
p
r
o
b
l
e
m
a
b
o
u
t
l
o
g
i
c
i
a
n
s
.
