The bald eagle eats the bear. The bald eagle is red. The bald eagle likes the bear. The bear eats the squirrel. The bear is big. The bear is young. The bear likes the squirrel. The bear visits the lion. The lion is red. The lion visits the bear. The squirrel eats the bear. The squirrel visits the bear. If something likes the lion then it eats the lion. If something visits the lion then the lion is rough. All young things are big. If something visits the squirrel then it visits the bald eagle. If something visits the bald eagle then it is big. If something is rough then it visits the bald eagle. If something is red and it visits the lion then the lion visits the squirrel. If something eats the squirrel then the squirrel visits the bear.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion is red.
("lion" "is" "red" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something likes the lion then it eats the lion.
((("something" "likes" "lion" "+")) -> ("something" "eats" "lion" "+"))
If something visits the lion then the lion is rough.
((("something" "visits" "lion" "+")) -> ("lion" "is" "rough" "+"))
All young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something visits the squirrel then it visits the bald eagle.
((("something" "visits" "squirrel" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle then it is big.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "big" "+"))
If something is rough then it visits the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is red and it visits the lion then the lion visits the squirrel.
((("something" "is" "red" "+") ("something" "visits" "lion" "+")) -> ("lion" "visits" "squirrel" "+"))
If something eats the squirrel then the squirrel visits the bear.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
The lion visits the bear.
True
1
proof
[(triple10)]
("lion" "visits" "bear" "+")
triple10
The bear is not big.
False
1
inv-proof
[(triple5 OR ((triple6) -> rule3))]
("bear" "is" "big" "-")
triple5
((triple6) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The lion is rough.
True
2
proof
[(((triple8) -> rule2))]
("lion" "is" "rough" "+")
((triple8) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not rough.
False
2
inv-proof
[(((triple8) -> rule2))]
("lion" "is" "rough" "-")
((triple8) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion visits the bald eagle.
True
3
proof
[(((((triple8) -> rule2)) -> rule6))]
("lion" "visits" "bald eagle" "+")
((((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion does not visit the bald eagle.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule6))]
("lion" "visits" "bald eagle" "-")
((((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is big.
True
4
proof
[(((((((triple8) -> rule2)) -> rule6)) -> rule5))]
("lion" "is" "big" "+")
((((((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The lion is not big.
False
4
inv-proof
[(((((((triple8) -> rule2)) -> rule6)) -> rule5))]
("lion" "is" "big" "-")
((((((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The squirrel is not big.
Unknown
inv-rconc
[@2: The squirrel is big.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("squirrel" "is" "big" "-")
The bald eagle eats the lion.
Unknown
rconc
[@1: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "lion" "+")
The lion does not visit the squirrel.
Unknown
inv-rconc
[@1: The lion visits the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "visits" "squirrel" "-")
The bald eagle is big.
Unknown
rconc
[@2: The bald eagle is big.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("bald eagle" "is" "big" "+")
The bear does not visit the squirrel.
Unknown
inv-random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
The bear does not like the lion.
Unknown
inv-random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear eats the squirrel.[(triple4)] The bear is big.[(triple5 OR ((triple6) -> rule3))] The bear is young.[(triple6)] The bear likes the squirrel.[(triple7)] The bear visits the lion.[(triple8)] The lion is red.[(triple9)] The lion visits the bear.[(triple10)] The squirrel eats the bear.[(triple11)] The squirrel visits the bear.[(triple12 OR ((triple4) -> rule8))] @1: The lion is rough.[(((triple8) -> rule2))] @2: The lion visits the bald eagle.[(((((triple8) -> rule2)) -> rule6))] @3: The lion is big.[(((((((triple8) -> rule2)) -> rule6)) -> rule5))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
((triple6) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple6
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple7
The bear visits the lion.
("bear" "visits" "lion" "+")
triple8
The lion is red.
("lion" "is" "red" "+")
triple9
The lion visits the bear.
("lion" "visits" "bear" "+")
triple10
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple11
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple12
((triple4) -> (rule8 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((triple8) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
((((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is big.
("lion" "is" "big" "+")
((((((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3