The bald eagle is round. The cat does not like the squirrel. The lion eats the squirrel. The squirrel is red. Round things are blue.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
Round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
The bald eagle is round.
True
1
proof
[(triple1)]
("bald eagle" "is" "round" "+")
triple1
The lion does not eat the squirrel.
False
1
inv-proof
[(triple3)]
("lion" "eats" "squirrel" "-")
triple3
The bald eagle is blue.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The cat is not blue.
Unknown
inv-rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "blue" "-")
The lion is blue.
Unknown
rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "blue" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The lion likes the bald eagle.
Unknown
random
[@0: The lion likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bald eagle" "+")
@0: The bald eagle is round.[(triple1)] The cat does not like the squirrel.[(triple2)] The lion eats the squirrel.[(triple3)] The squirrel is red.[(triple4)] @1: The bald eagle is blue.[(((triple1) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
triple2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1