The bear eats the squirrel. The lion is round. The squirrel is red. The tiger sees the squirrel. If someone sees the tiger then they are round. If someone eats the squirrel then the squirrel eats the lion.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The lion is round.
("lion" "is" "round" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone sees the tiger then they are round.
((("someone" "sees" "tiger" "+")) -> ("someone" "is" "round" "+"))
If someone eats the squirrel then the squirrel eats the lion.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "eats" "lion" "+"))
The lion is round.
True
1
proof
[(triple2)]
("lion" "is" "round" "+")
triple2
The lion is not round.
False
1
inv-proof
[(triple2)]
("lion" "is" "round" "-")
triple2
The squirrel eats the lion.
True
2
proof
[(((triple1) -> rule2))]
("squirrel" "eats" "lion" "+")
((triple1) -> (rule2 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The squirrel does not eat the lion.
False
2
inv-proof
[(((triple1) -> rule2))]
("squirrel" "eats" "lion" "-")
((triple1) -> (rule2 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "round" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "round" "+")
The bear does not eat the lion.
Unknown
inv-random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bear eats the squirrel.[(triple1)] The lion is round.[(triple2)] The squirrel is red.[(triple3)] The tiger sees the squirrel.[(triple4)] @1: The squirrel eats the lion.[(((triple1) -> rule2))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The lion is round.
("lion" "is" "round" "+")
triple2
The squirrel is red.
("squirrel" "is" "red" "+")
triple3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple4
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
((triple1) -> (rule2 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1