The bald eagle sees the bear. The bear is kind. The bear needs the rabbit. The bear sees the mouse. The mouse is blue. The mouse needs the bald eagle. The rabbit sees the bald eagle. If the mouse sees the rabbit and the mouse likes the bald eagle then the bald eagle sees the rabbit. Young people are blue. If someone likes the bear then the bear is young. If someone likes the rabbit then they see the rabbit. If someone is kind and they like the bear then they like the mouse. If someone likes the bear and they are not green then they need the bald eagle. If someone likes the bald eagle then they see the bald eagle. If someone likes the bald eagle and the bald eagle needs the mouse then the mouse needs the rabbit. If someone is blue then they like the bear.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If the mouse sees the rabbit and the mouse likes the bald eagle then the bald eagle sees the rabbit.
((("mouse" "sees" "rabbit" "+") ("mouse" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
Young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the bear then the bear is young.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "young" "+"))
If someone likes the rabbit then they see the rabbit.
((("someone" "likes" "rabbit" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone is kind and they like the bear then they like the mouse.
((("someone" "is" "kind" "+") ("someone" "likes" "bear" "+")) -> ("someone" "likes" "mouse" "+"))
If someone likes the bear and they are not green then they need the bald eagle.
((("someone" "likes" "bear" "+") ("someone" "is" "green" "~")) -> ("someone" "needs" "bald eagle" "+"))
If someone likes the bald eagle then they see the bald eagle.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle needs the mouse then the mouse needs the rabbit.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "needs" "mouse" "+")) -> ("mouse" "needs" "rabbit" "+"))
If someone is blue then they like the bear.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "bear" "+"))
The mouse is blue.
True
1
proof
[(triple5)]
("mouse" "is" "blue" "+")
triple5
The bear does not see the mouse.
False
1
inv-proof
[(triple4)]
("bear" "sees" "mouse" "-")
triple4
The mouse likes the bear.
True
2
proof
[(((triple5) -> rule9))]
("mouse" "likes" "bear" "+")
((triple5) -> (rule9 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse does not like the bear.
False
2
inv-proof
[(((triple5) -> rule9))]
("mouse" "likes" "bear" "-")
((triple5) -> (rule9 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The bear is young.
True
3
proof
[(((((triple5) -> rule9)) -> rule3))]
("bear" "is" "young" "+")
((((triple5) -> (rule9 % int2))) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The bear is not young.
False
3
inv-proof
[(((((triple5) -> rule9)) -> rule3))]
("bear" "is" "young" "-")
((((triple5) -> (rule9 % int2))) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The bear is blue.
True
4
proof
[(((((((triple5) -> rule9)) -> rule3)) -> rule2))]
("bear" "is" "blue" "+")
((((((triple5) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int3
The bear is not blue.
False
4
inv-proof
[(((((((triple5) -> rule9)) -> rule3)) -> rule2))]
("bear" "is" "blue" "-")
((((((triple5) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int3
The bear likes the bear.
True
5
proof
[(((((((((triple5) -> rule9)) -> rule3)) -> rule2)) -> rule9))]
("bear" "likes" "bear" "+")
((((((((triple5) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int4
The bear does not like the bear.
False
5
inv-proof
[(((((((((triple5) -> rule9)) -> rule3)) -> rule2)) -> rule9))]
("bear" "likes" "bear" "-")
((((((((triple5) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int4
The bear likes the mouse.
True
7
proof
[(((triple2 ((((((((triple5) -> rule9)) -> rule3)) -> rule2)) -> rule9)) -> rule5))]
("bear" "likes" "mouse" "+")
((triple2 ((((((((triple5) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int5
The bear does not like the mouse.
False
7
inv-proof
[(((triple2 ((((((((triple5) -> rule9)) -> rule3)) -> rule2)) -> rule9)) -> rule5))]
("bear" "likes" "mouse" "-")
((triple2 ((((((((triple5) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int5
The rabbit does not need the bald eagle.
Unknown
inv-rconc
[@1: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The bear needs the bald eagle.
Unknown
rconc
[@1: The bear needs the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "needs" "bald eagle" "+")
The bald eagle does not like the mouse.
Unknown
inv-rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "mouse" "-")
The rabbit sees the rabbit.
Unknown
rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "sees" "rabbit" "+")
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The bear sees the rabbit.
Unknown
rconc
[@1: The bear sees the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "sees" "rabbit" "+")
The rabbit does not see the bear.
Unknown
inv-random
[@0: The rabbit sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
The bald eagle does not need the bear.
Unknown
inv-random
[@0: The bald eagle needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bear" "-")
The bear likes the rabbit.
Unknown
random
[@0: The bear likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "rabbit" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear is kind.[(triple2)] The bear needs the rabbit.[(triple3)] The bear sees the mouse.[(triple4)] The mouse is blue.[(triple5)] The mouse needs the bald eagle.[(triple6)] The rabbit sees the bald eagle.[(triple7)] @1: The mouse likes the bear.[(((triple5) -> rule9))] @2: The bear is young.[(((((triple5) -> rule9)) -> rule3))] @3: The bear is blue.[(((((((triple5) -> rule9)) -> rule3)) -> rule2))] @4: The bear likes the bear.[(((((((((triple5) -> rule9)) -> rule3)) -> rule2)) -> rule9))] @5: The bear likes the mouse.[(((triple2 ((((((((triple5) -> rule9)) -> rule3)) -> rule2)) -> rule9)) -> rule5))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple3
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple4
The mouse is blue.
("mouse" "is" "blue" "+")
triple5
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple6
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple7
The mouse likes the bear.
("mouse" "likes" "bear" "+")
((triple5) -> (rule9 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((((triple5) -> (rule9 % int2))) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
((((((triple5) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int3
The bear likes the bear.
("bear" "likes" "bear" "+")
((((((((triple5) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
((triple2 ((((((((triple5) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int5