The bald eagle sees the bear. The bear eats the bald eagle. The bear is blue. If someone likes the bald eagle and the bald eagle sees the bear then the bald eagle is red. If someone eats the bear then they are red. If someone eats the bald eagle then they like the bald eagle. If someone eats the bald eagle then they see the bald eagle. If someone sees the bear and they like the bear then they are blue. If the bald eagle eats the bear then the bald eagle likes the bear. If someone sees the bear and the bear sees the bald eagle then the bear is blue. If the bald eagle likes the bear then the bald eagle is young.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is blue.
("bear" "is" "blue" "+")
If someone likes the bald eagle and the bald eagle sees the bear then the bald eagle is red.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "sees" "bear" "+")) -> ("bald eagle" "is" "red" "+"))
If someone eats the bear then they are red.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "red" "+"))
If someone eats the bald eagle then they like the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone eats the bald eagle then they see the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone sees the bear and they like the bear then they are blue.
((("someone" "sees" "bear" "+") ("someone" "likes" "bear" "+")) -> ("someone" "is" "blue" "+"))
If the bald eagle eats the bear then the bald eagle likes the bear.
((("bald eagle" "eats" "bear" "+")) -> ("bald eagle" "likes" "bear" "+"))
If someone sees the bear and the bear sees the bald eagle then the bear is blue.
((("someone" "sees" "bear" "+") ("bear" "sees" "bald eagle" "+")) -> ("bear" "is" "blue" "+"))
If the bald eagle likes the bear then the bald eagle is young.
((("bald eagle" "likes" "bear" "+")) -> ("bald eagle" "is" "young" "+"))
The bald eagle sees the bear.
True
1
proof
[(triple1)]
("bald eagle" "sees" "bear" "+")
triple1
The bear is not blue.
False
1
inv-proof
[(triple3 OR ((triple1 ((triple2) -> rule4)) -> rule7))]
("bear" "is" "blue" "-")
triple3
((triple1 ((triple2) -> (rule4 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear likes the bald eagle.
True
2
proof
[(((triple2) -> rule3))]
("bear" "likes" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear does not see the bald eagle.
False
2
inv-proof
[(((triple2) -> rule4))]
("bear" "sees" "bald eagle" "-")
((triple2) -> (rule4 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bald eagle is not blue.
Unknown
inv-rconc
[@2: The bald eagle is blue.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle is young.
Unknown
rconc
[@2: The bald eagle is young.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle eats the bear.
Unknown
random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear eats the bald eagle.[(triple2)] The bear is blue.[(triple3 OR ((triple1 ((triple2) -> rule4)) -> rule7))] @1: The bear likes the bald eagle.[(((triple2) -> rule3))] The bear sees the bald eagle.[(((triple2) -> rule4))] @2: The bald eagle is red.[(((((triple2) -> rule3) triple1) -> rule1))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
((triple1 ((triple2) -> (rule4 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple2) -> (rule4 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple2) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2