The bald eagle chases the lion. The bald eagle chases the mouse. The bald eagle likes the lion. The bald eagle likes the mouse. The bald eagle sees the bear. The bear chases the lion. The bear is blue. The bear is young. The bear likes the bald eagle. The lion chases the bear. The lion is blue. The mouse chases the bald eagle. If someone is blue then they like the mouse. If someone is young then they like the bear. If the bear likes the lion then the lion likes the bear. If someone likes the bald eagle then the bald eagle likes the mouse. If someone likes the lion and the lion sees the mouse then the mouse is young. All rough people are young. If someone likes the lion then the lion is rough. If someone is young then they are cold.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
If someone is blue then they like the mouse.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "mouse" "+"))
If someone is young then they like the bear.
((("someone" "is" "young" "+")) -> ("someone" "likes" "bear" "+"))
If the bear likes the lion then the lion likes the bear.
((("bear" "likes" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If someone likes the bald eagle then the bald eagle likes the mouse.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "mouse" "+"))
If someone likes the lion and the lion sees the mouse then the mouse is young.
((("someone" "likes" "lion" "+") ("lion" "sees" "mouse" "+")) -> ("mouse" "is" "young" "+"))
All rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone likes the lion then the lion is rough.
((("someone" "likes" "lion" "+")) -> ("lion" "is" "rough" "+"))
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
The bald eagle likes the lion.
True
1
proof
[(triple3)]
("bald eagle" "likes" "lion" "+")
triple3
The bear does not like the bald eagle.
False
1
inv-proof
[(triple9)]
("bear" "likes" "bald eagle" "-")
triple9
The bear is cold.
True
2
proof
[(((triple8) -> rule8))]
("bear" "is" "cold" "+")
((triple8) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The lion does not like the mouse.
False
2
inv-proof
[(((triple11) -> rule1))]
("lion" "likes" "mouse" "-")
((triple11) -> (rule1 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion is young.
True
3
proof
[(((((triple3) -> rule7)) -> rule6))]
("lion" "is" "young" "+")
((((triple3) -> (rule7 % int2))) -> (rule6 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is not young.
False
3
inv-proof
[(((((triple3) -> rule7)) -> rule6))]
("lion" "is" "young" "-")
((((triple3) -> (rule7 % int2))) -> (rule6 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion likes the bear.
True
4
proof
[(((((((triple3) -> rule7)) -> rule6)) -> rule2))]
("lion" "likes" "bear" "+")
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The lion is not cold.
False
4
inv-proof
[(((((((triple3) -> rule7)) -> rule6)) -> rule8))]
("lion" "is" "cold" "-")
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The mouse is not young.
Unknown
inv-rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "young" "-")
The mouse likes the mouse.
Unknown
rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "mouse" "+")
The bald eagle does not like the bear.
Unknown
inv-rconc
[@2: The bald eagle likes the bear.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("bald eagle" "likes" "bear" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
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 bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear likes the lion.
Unknown
random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle likes the mouse.[(triple4 OR ((triple9) -> rule4))] The bald eagle sees the bear.[(triple5)] The bear chases the lion.[(triple6)] The bear is blue.[(triple7)] The bear is young.[(triple8)] The bear likes the bald eagle.[(triple9)] The lion chases the bear.[(triple10)] The lion is blue.[(triple11)] The mouse chases the bald eagle.[(triple12)] @1: The bear is cold.[(((triple8) -> rule8))] The bear likes the bear.[(((triple8) -> rule2))] The bear likes the mouse.[(((triple7) -> rule1))] The lion is rough.[(((triple3) -> rule7))] The lion likes the mouse.[(((triple11) -> rule1))] @2: The lion is young.[(((((triple3) -> rule7)) -> rule6))] @3: The lion is cold.[(((((((triple3) -> rule7)) -> rule6)) -> rule8))] The lion likes the bear.[(((((((triple3) -> rule7)) -> rule6)) -> rule2))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple4
((triple9) -> (rule4 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple5
The bear chases the lion.
("bear" "chases" "lion" "+")
triple6
The bear is blue.
("bear" "is" "blue" "+")
triple7
The bear is young.
("bear" "is" "young" "+")
triple8
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple9
The lion chases the bear.
("lion" "chases" "bear" "+")
triple10
The lion is blue.
("lion" "is" "blue" "+")
triple11
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple12
The bear is cold.
("bear" "is" "cold" "+")
((triple8) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple8) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
((triple7) -> (rule1 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((triple3) -> (rule7 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
((triple11) -> (rule1 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion is young.
("lion" "is" "young" "+")
((((triple3) -> (rule7 % int2))) -> (rule6 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The lion likes the bear.
("lion" "likes" "bear" "+")
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3