The bald eagle eats the lion. The bald eagle sees the mouse. The bear does not chase the lion. The bear is blue. The lion chases the bald eagle. The lion eats the bear. The lion is blue. The lion is red. The mouse chases the lion. The mouse eats the bald eagle. The mouse eats the lion. The mouse sees the bear. If someone is kind and they chase the bald eagle then the bald eagle sees the lion. If someone is green and they see the bear then the bear chases the mouse. If the bear chases the lion and the bear does not eat the mouse then the lion sees the bear. If someone sees the bear then they are kind. If someone is blue then they see the bear. If someone chases the lion then they are young.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bear does not chase the lion.
("bear" "chases" "lion" "-")
The bear is blue.
("bear" "is" "blue" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is red.
("lion" "is" "red" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If someone is kind and they chase the bald eagle then the bald eagle sees the lion.
((("someone" "is" "kind" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "lion" "+"))
If someone is green and they see the bear then the bear chases the mouse.
((("someone" "is" "green" "+") ("someone" "sees" "bear" "+")) -> ("bear" "chases" "mouse" "+"))
If the bear chases the lion and the bear does not eat the mouse then the lion sees the bear.
((("bear" "chases" "lion" "+") ("bear" "eats" "mouse" "~")) -> ("lion" "sees" "bear" "+"))
If someone sees the bear then they are kind.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue then they see the bear.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "bear" "+"))
If someone chases the lion then they are young.
((("someone" "chases" "lion" "+")) -> ("someone" "is" "young" "+"))
The bald eagle eats the lion.
True
1
proof
[(triple1)]
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle does not eat the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "lion" "-")
triple1
The mouse is kind.
True
2
proof
[(((triple12) -> rule4))]
("mouse" "is" "kind" "+")
((triple12) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The lion does not see the bear.
False
2
inv-proof
[(((triple7) -> rule5))]
("lion" "sees" "bear" "-")
((triple7) -> (rule5 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The bear is kind.
True
3
proof
[(((((triple4) -> rule5)) -> rule4))]
("bear" "is" "kind" "+")
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is not kind.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule4))]
("bear" "is" "kind" "-")
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "young" "-")
The bear chases the mouse.
Unknown
rconc
[@1: The bear chases the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "mouse" "+")
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "young" "-")
The mouse sees the bald eagle.
Unknown
random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "+")
The mouse does not eat the bear.
Unknown
inv-random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bear does not chase the lion.[(triple3)] The bear is blue.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion eats the bear.[(triple6)] The lion is blue.[(triple7)] The lion is red.[(triple8)] The mouse chases the lion.[(triple9)] The mouse eats the bald eagle.[(triple10)] The mouse eats the lion.[(triple11)] The mouse sees the bear.[(triple12)] @1: The bear sees the bear.[(((triple4) -> rule5))] The lion sees the bear.[(((triple7) -> rule5))] The mouse is kind.[(((triple12) -> rule4))] The mouse is young.[(((triple9) -> rule6))] @2: The bear is kind.[(((((triple4) -> rule5)) -> rule4))] The lion is kind.[(((((triple7) -> rule5)) -> rule4))] @3: The bald eagle sees the lion.[(((((((triple7) -> rule5)) -> rule4) triple5) -> rule1))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The bear does not chase the lion.
("bear" "chases" "lion" "-")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
The lion eats the bear.
("lion" "eats" "bear" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is red.
("lion" "is" "red" "+")
triple8
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple9
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple10
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple11
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple12
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple4) -> (rule5 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The lion sees the bear.
("lion" "sees" "bear" "+")
((triple7) -> (rule5 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
((triple12) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
((triple9) -> (rule6 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
((((triple7) -> (rule5 % int2))) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion sees the bear.
("lion" "sees" "bear" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
((((((triple7) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion sees the bear.
("lion" "sees" "bear" "+")
int3