The bear is kind. The lion needs the squirrel. The squirrel is round. Kind people are blue. If someone chases the bear and they chase the lion then the lion is round.
The bear is kind.
("bear" "is" "kind" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
Kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the bear and they chase the lion then the lion is round.
((("someone" "chases" "bear" "+") ("someone" "chases" "lion" "+")) -> ("lion" "is" "round" "+"))
The squirrel is round.
True
1
proof
[(triple3)]
("squirrel" "is" "round" "+")
triple3
The lion does not need the squirrel.
False
1
inv-proof
[(triple2)]
("lion" "needs" "squirrel" "-")
triple2
The bear is blue.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "blue" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "blue" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
@0: The bear is kind.[(triple1)] The lion needs the squirrel.[(triple2)] The squirrel is round.[(triple3)] @1: The bear is blue.[(((triple1) -> rule1))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple2
The squirrel is round.
("squirrel" "is" "round" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1