The bald eagle eats the squirrel. The bear is green. The mouse eats the bald eagle. The squirrel is blue. If something is green then it likes the mouse. If something likes the mouse then it sees the squirrel. If the mouse sees the squirrel and the mouse does not like the bear then the bear is blue. If something sees the squirrel then the squirrel is green. If something eats the bear then the bear eats the squirrel. If something is cold and it eats the bear then the bear eats the bald eagle. If something likes the bear and it sees the bear then the bear does not eat the bald eagle. If something likes the bald eagle and it does not like the bear then it does not see the bald eagle.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bear is green.
("bear" "is" "green" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If something is green then it likes the mouse.
((("something" "is" "green" "+")) -> ("something" "likes" "mouse" "+"))
If something likes the mouse then it sees the squirrel.
((("something" "likes" "mouse" "+")) -> ("something" "sees" "squirrel" "+"))
If the mouse sees the squirrel and the mouse does not like the bear then the bear is blue.
((("mouse" "sees" "squirrel" "+") ("mouse" "likes" "bear" "~")) -> ("bear" "is" "blue" "+"))
If something sees the squirrel then the squirrel is green.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If something eats the bear then the bear eats the squirrel.
((("something" "eats" "bear" "+")) -> ("bear" "eats" "squirrel" "+"))
If something is cold and it eats the bear then the bear eats the bald eagle.
((("something" "is" "cold" "+") ("something" "eats" "bear" "+")) -> ("bear" "eats" "bald eagle" "+"))
If something likes the bear and it sees the bear then the bear does not eat the bald eagle.
((("something" "likes" "bear" "+") ("something" "sees" "bear" "+")) -> ("bear" "eats" "bald eagle" "-"))
If something likes the bald eagle and it does not like the bear then it does not see the bald eagle.
((("something" "likes" "bald eagle" "+") ("something" "likes" "bear" "~")) -> ("something" "sees" "bald eagle" "-"))
The bear is green.
True
1
proof
[(triple2)]
("bear" "is" "green" "+")
triple2
The squirrel is not blue.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "blue" "-")
triple4
The bear likes the mouse.
True
2
proof
[(((triple2) -> rule1))]
("bear" "likes" "mouse" "+")
((triple2) -> (rule1 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear does not like the mouse.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "likes" "mouse" "-")
((triple2) -> (rule1 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear sees the squirrel.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("bear" "sees" "squirrel" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int2
The bear does not see the squirrel.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("bear" "sees" "squirrel" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int2
The squirrel is green.
True
4
proof
[(((((((triple2) -> rule1)) -> rule2)) -> rule4))]
("squirrel" "is" "green" "+")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int3
The squirrel is not green.
False
4
inv-proof
[(((((((triple2) -> rule1)) -> rule2)) -> rule4))]
("squirrel" "is" "green" "-")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int3
The bald eagle does not like the mouse.
Unknown
inv-rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "mouse" "-")
The bear eats the squirrel.
Unknown
rconc
[@1: The bear eats the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "eats" "squirrel" "+")
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The bear is blue.
Unknown
rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "blue" "+")
The squirrel does not see the bald eagle.
Unknown
inv-random
[@0: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bald eagle" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The bald eagle does not see the mouse.
Unknown
inv-random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bear is green.[(triple2)] The mouse eats the bald eagle.[(triple3)] The squirrel is blue.[(triple4)] @1: The bear likes the mouse.[(((triple2) -> rule1))] @2: The bear sees the squirrel.[(((((triple2) -> rule1)) -> rule2))] @3: The squirrel is green.[(((((((triple2) -> rule1)) -> rule2)) -> rule4))] @4: The squirrel likes the mouse.[(((((((((triple2) -> rule1)) -> rule2)) -> rule4)) -> rule1))] @5: The squirrel sees the squirrel.[(((((((((((triple2) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule2))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple3
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
((triple2) -> (rule1 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int3
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
((((((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int3
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int4
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((((((((((triple2) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int5