The bald eagle is red. The bald eagle likes the squirrel. The bear eats the mouse. The bear is big. The bear is nice. The bear is red. The mouse eats the bald eagle. The mouse is red. The mouse likes the bald eagle. The mouse sees the bald eagle. The squirrel likes the bald eagle. The squirrel sees the bear. If something likes the bald eagle then it likes the squirrel. If something eats the bald eagle and it is nice then it likes the bald eagle. If the squirrel sees the bear then the bear eats the bald eagle.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something likes the bald eagle then it likes the squirrel.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "squirrel" "+"))
If something eats the bald eagle and it is nice then it likes the bald eagle.
((("something" "eats" "bald eagle" "+") ("something" "is" "nice" "+")) -> ("something" "likes" "bald eagle" "+"))
If the squirrel sees the bear then the bear eats the bald eagle.
((("squirrel" "sees" "bear" "+")) -> ("bear" "eats" "bald eagle" "+"))
The mouse sees the bald eagle.
True
1
proof
[(triple10)]
("mouse" "sees" "bald eagle" "+")
triple10
The mouse does not see the bald eagle.
False
1
inv-proof
[(triple10)]
("mouse" "sees" "bald eagle" "-")
triple10
The bear eats the bald eagle.
True
2
proof
[(((triple12) -> rule3))]
("bear" "eats" "bald eagle" "+")
((triple12) -> (rule3 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear does not eat the bald eagle.
False
2
inv-proof
[(((triple12) -> rule3))]
("bear" "eats" "bald eagle" "-")
((triple12) -> (rule3 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear likes the bald eagle.
True
4
proof
[(((((triple12) -> rule3) triple5) -> rule2))]
("bear" "likes" "bald eagle" "+")
((((triple12) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear does not like the bald eagle.
False
4
inv-proof
[(((((triple12) -> rule3) triple5) -> rule2))]
("bear" "likes" "bald eagle" "-")
((((triple12) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear likes the squirrel.
True
5
proof
[(((((((triple12) -> rule3) triple5) -> rule2)) -> rule1))]
("bear" "likes" "squirrel" "+")
((((((triple12) -> (rule3 % int3)) triple5) -> (rule2 % int2))) -> (rule1 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
The bear does not like the squirrel.
False
5
inv-proof
[(((((((triple12) -> rule3) triple5) -> rule2)) -> rule1))]
("bear" "likes" "squirrel" "-")
((((((triple12) -> (rule3 % int3)) triple5) -> (rule2 % int2))) -> (rule1 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle does not eat the bear.
Unknown
inv-random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The bear sees the bald eagle.
Unknown
random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bear eats the mouse.[(triple3)] The bear is big.[(triple4)] The bear is nice.[(triple5)] The bear is red.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse is red.[(triple8)] The mouse likes the bald eagle.[(triple9)] The mouse sees the bald eagle.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The squirrel sees the bear.[(triple12)] @1: The bear eats the bald eagle.[(((triple12) -> rule3))] The mouse likes the squirrel.[(((triple9) -> rule1))] The squirrel likes the squirrel.[(((triple11) -> rule1))] @2: The bear likes the bald eagle.[(((((triple12) -> rule3) triple5) -> rule2))] @3: The bear likes the squirrel.[(((((((triple12) -> rule3) triple5) -> rule2)) -> rule1))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple9
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple10
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple11
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple12
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
((triple12) -> (rule3 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
((triple9) -> (rule1 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple11) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((((triple12) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
((((((triple12) -> (rule3 % int3)) triple5) -> (rule2 % int2))) -> (rule1 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3