The bald eagle eats the bear. The bear is rough. The cat does not eat the mouse. The mouse sees the cat. If someone eats the bear then they are blue. If someone eats the bald eagle and they do not see the cat then the cat does not like the mouse. If the bear does not like the mouse then the bear does not see the bald eagle.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bear is rough.
("bear" "is" "rough" "+")
The cat does not eat the mouse.
("cat" "eats" "mouse" "-")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
If someone eats the bear then they are blue.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "blue" "+"))
If someone eats the bald eagle and they do not see the cat then the cat does not like the mouse.
((("someone" "eats" "bald eagle" "+") ("someone" "sees" "cat" "~")) -> ("cat" "likes" "mouse" "-"))
If the bear does not like the mouse then the bear does not see the bald eagle.
((("bear" "likes" "mouse" "~")) -> ("bear" "sees" "bald eagle" "-"))
The bear is rough.
True
1
proof
[(triple2)]
("bear" "is" "rough" "+")
triple2
The mouse does not see the cat.
False
1
inv-proof
[(triple4)]
("mouse" "sees" "cat" "-")
triple4
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 bear is blue.
Unknown
rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "blue" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The bald eagle eats the bear.[(triple1)] The bear is rough.[(triple2)] The cat does not eat the mouse.[(triple3)] The mouse sees the cat.[(triple4)] @1: The bald eagle is blue.[(((triple1) -> rule1))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The cat does not eat the mouse.
("cat" "eats" "mouse" "-")
triple3
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1