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