The lion is not blue. The lion likes the squirrel. The squirrel needs the lion. If something eats the squirrel and it is not blue then the squirrel likes the lion. If something eats the squirrel then the squirrel likes the lion. If something likes the squirrel then it is not kind.
The lion is not blue.
("lion" "is" "blue" "-")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If something eats the squirrel and it is not blue then the squirrel likes the lion.
((("something" "eats" "squirrel" "+") ("something" "is" "blue" "~")) -> ("squirrel" "likes" "lion" "+"))
If something eats the squirrel then the squirrel likes the lion.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "likes" "lion" "+"))
If something likes the squirrel then it is not kind.
((("something" "likes" "squirrel" "+")) -> ("something" "is" "kind" "-"))
The lion likes the squirrel.
True
1
proof
[(triple2)]
("lion" "likes" "squirrel" "+")
triple2
The lion does not like the squirrel.
False
1
inv-proof
[(triple2)]
("lion" "likes" "squirrel" "-")
triple2
The lion is not kind.
True
2
proof
[(((triple2) -> rule3))]
("lion" "is" "kind" "-")
((triple2) -> (rule3 % int1))
The lion is not kind.
("lion" "is" "kind" "-")
int1
The lion is kind.
False
2
inv-proof
[(((triple2) -> rule3))]
("lion" "is" "kind" "+")
((triple2) -> (rule3 % int1))
The lion is not kind.
("lion" "is" "kind" "-")
int1
The squirrel does not like the lion.
Unknown
inv-rconc
[@1: The squirrel likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "lion" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The lion needs the squirrel.
Unknown
random
[@0: The lion needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "squirrel" "+")
@0: The lion is not blue.[(triple1)] The lion likes the squirrel.[(triple2)] The squirrel needs the lion.[(triple3)] @1: The lion is not kind.[(((triple2) -> rule3))]
The lion is not blue.
("lion" "is" "blue" "-")
triple1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple3
The lion is not kind.
("lion" "is" "kind" "-")
((triple2) -> (rule3 % int1))
The lion is not kind.
("lion" "is" "kind" "-")
int1