The bald eagle chases the squirrel. The bald eagle is kind. The bald eagle is red. The bald eagle likes the squirrel. The bear chases the bald eagle. The bear chases the mouse. The bear is young. The bear sees the mouse. The bear sees the squirrel. The mouse is big. The squirrel is red. The squirrel likes the bear. If someone is red and they chase the bear then the bear chases the bald eagle. If the mouse is red and the mouse sees the bear then the bear is green. If someone is red and they like the mouse then the mouse sees the bear. If someone likes the squirrel then they like the mouse. If someone likes the bear and they chase the mouse then the bear is green. If someone is kind then they like the bald eagle. If someone chases the bear then they see the squirrel. If someone likes the bald eagle then they chase the mouse. If someone sees the bear then they are kind.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If someone is red and they chase the bear then the bear chases the bald eagle.
((("someone" "is" "red" "+") ("someone" "chases" "bear" "+")) -> ("bear" "chases" "bald eagle" "+"))
If the mouse is red and the mouse sees the bear then the bear is green.
((("mouse" "is" "red" "+") ("mouse" "sees" "bear" "+")) -> ("bear" "is" "green" "+"))
If someone is red and they like the mouse then the mouse sees the bear.
((("someone" "is" "red" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "sees" "bear" "+"))
If someone likes the squirrel then they like the mouse.
((("someone" "likes" "squirrel" "+")) -> ("someone" "likes" "mouse" "+"))
If someone likes the bear and they chase the mouse then the bear is green.
((("someone" "likes" "bear" "+") ("someone" "chases" "mouse" "+")) -> ("bear" "is" "green" "+"))
If someone is kind then they like the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone chases the bear then they see the squirrel.
((("someone" "chases" "bear" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone likes the bald eagle then they chase the mouse.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "chases" "mouse" "+"))
If someone sees the bear then they are kind.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "kind" "+"))
The bear is young.
True
1
proof
[(triple7)]
("bear" "is" "young" "+")
triple7
The bear does not chase the mouse.
False
1
inv-proof
[(triple6)]
("bear" "chases" "mouse" "-")
triple6
The bald eagle likes the bald eagle.
True
2
proof
[(((triple2) -> rule6))]
("bald eagle" "likes" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
False
2
inv-proof
[(((triple2) -> rule6))]
("bald eagle" "likes" "bald eagle" "-")
((triple2) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The mouse sees the bear.
True
4
proof
[(((triple3 ((triple4) -> rule4)) -> rule3))]
("mouse" "sees" "bear" "+")
((triple3 ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int2
The bald eagle does not chase the mouse.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule8))]
("bald eagle" "chases" "mouse" "-")
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The mouse is kind.
True
5
proof
[(((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9))]
("mouse" "is" "kind" "+")
((((triple3 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int3
The mouse is not kind.
False
5
inv-proof
[(((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9))]
("mouse" "is" "kind" "-")
((((triple3 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int3
The mouse likes the bald eagle.
True
6
proof
[(((((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9)) -> rule6))]
("mouse" "likes" "bald eagle" "+")
((((((triple3 ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int3
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int4
The mouse does not like the bald eagle.
False
6
inv-proof
[(((((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9)) -> rule6))]
("mouse" "likes" "bald eagle" "-")
((((((triple3 ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int3
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int4
The mouse chases the mouse.
True
7
proof
[(((((((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9)) -> rule6)) -> rule8))]
("mouse" "chases" "mouse" "+")
((((((((triple3 ((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int4
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int5
The mouse does not chase the mouse.
False
7
inv-proof
[(((((((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9)) -> rule6)) -> rule8))]
("mouse" "chases" "mouse" "-")
((((((((triple3 ((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int4
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int5
The bald eagle does not see the squirrel.
Unknown
inv-rconc
[@1: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "sees" "squirrel" "-")
The mouse likes the mouse.
Unknown
rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "likes" "mouse" "+")
The bear does not like the mouse.
Unknown
inv-rconc
[@1: The bear likes the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "mouse" "-")
The squirrel likes the bald eagle.
Unknown
rconc
[@2: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule9 <- FAIL)]]
("squirrel" "likes" "bald eagle" "+")
The bear does not like the bald eagle.
Unknown
inv-rconc
[@2: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule9 <- FAIL)]]
("bear" "likes" "bald eagle" "-")
The squirrel is kind.
Unknown
rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("squirrel" "is" "kind" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The mouse chases the squirrel.
Unknown
random
[@0: The mouse chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "squirrel" "+")
The bear does not like the squirrel.
Unknown
inv-random
[@0: The bear likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "squirrel" "-")
The bald eagle likes the bear.
Unknown
random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear chases the mouse.[(triple6)] The bear is young.[(triple7)] The bear sees the mouse.[(triple8)] The bear sees the squirrel.[(triple9)] The mouse is big.[(triple10)] The squirrel is red.[(triple11)] The squirrel likes the bear.[(triple12)] @1: The bald eagle likes the bald eagle.[(((triple2) -> rule6))] The bald eagle likes the mouse.[(((triple4) -> rule4))] @2: The bald eagle chases the mouse.[(((((triple2) -> rule6)) -> rule8))] The mouse sees the bear.[(((triple3 ((triple4) -> rule4)) -> rule3))] @3: The mouse is kind.[(((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9))] @4: The mouse likes the bald eagle.[(((((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9)) -> rule6))] @5: The mouse chases the mouse.[(((((((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9)) -> rule6)) -> rule8))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple5
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple8
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple9
The mouse is big.
("mouse" "is" "big" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple12
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
((triple4) -> (rule4 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
((triple3 ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
((((triple3 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int3
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
((((((triple3 ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int3
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((((((((triple3 ((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int4
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int5