The bald eagle sees the bear. The bear eats the bald eagle. The bear is red. The bear does not see the bald eagle. The bear does not see the lion. The lion sees the bald eagle. The lion visits the tiger. The tiger eats the bald eagle. The tiger eats the bear. The tiger visits the bald eagle. If something visits the lion then it is rough. If something is green then it does not visit the bear. If the tiger is rough then the tiger visits the bald eagle. If something is green then it eats the lion. If something eats the bear then it eats the lion. If the bald eagle eats the lion and the bald eagle is rough then the bald eagle does not eat the tiger. If something is rough then it eats the bear. If something is red then it is green. If something visits the bald eagle then the bald eagle visits the lion.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
The bear does not see the lion.
("bear" "sees" "lion" "-")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something visits the lion then it is rough.
((("something" "visits" "lion" "+")) -> ("something" "is" "rough" "+"))
If something is green then it does not visit the bear.
((("something" "is" "green" "+")) -> ("something" "visits" "bear" "-"))
If the tiger is rough then the tiger visits the bald eagle.
((("tiger" "is" "rough" "+")) -> ("tiger" "visits" "bald eagle" "+"))
If something is green then it eats the lion.
((("something" "is" "green" "+")) -> ("something" "eats" "lion" "+"))
If something eats the bear then it eats the lion.
((("something" "eats" "bear" "+")) -> ("something" "eats" "lion" "+"))
If the bald eagle eats the lion and the bald eagle is rough then the bald eagle does not eat the tiger.
((("bald eagle" "eats" "lion" "+") ("bald eagle" "is" "rough" "+")) -> ("bald eagle" "eats" "tiger" "-"))
If something is rough then it eats the bear.
((("something" "is" "rough" "+")) -> ("something" "eats" "bear" "+"))
If something is red then it is green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If something visits the bald eagle then the bald eagle visits the lion.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "lion" "+"))
The lion visits the tiger.
True
1
proof
[(triple7)]
("lion" "visits" "tiger" "+")
triple7
The bear is not red.
False
1
inv-proof
[(triple3)]
("bear" "is" "red" "-")
triple3
The bald eagle visits the lion.
True
2
proof
[(((triple10) -> rule9))]
("bald eagle" "visits" "lion" "+")
((triple10) -> (rule9 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The tiger does not eat the lion.
False
2
inv-proof
[(((triple9) -> rule5))]
("tiger" "eats" "lion" "-")
((triple9) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The bear does not visit the bear.
True
3
proof
[(((((triple3) -> rule8)) -> rule2))]
("bear" "visits" "bear" "-")
((((triple3) -> (rule8 % int2))) -> (rule2 % int1))
The bear does not visit the bear.
("bear" "visits" "bear" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear visits the bear.
False
3
inv-proof
[(((((triple3) -> rule8)) -> rule2))]
("bear" "visits" "bear" "+")
((((triple3) -> (rule8 % int2))) -> (rule2 % int1))
The bear does not visit the bear.
("bear" "visits" "bear" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bald eagle eats the bear.
True
4
proof
[(((((((triple10) -> rule9)) -> rule1)) -> rule7))]
("bald eagle" "eats" "bear" "+")
((((((triple10) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int3
The bald eagle does not eat the bear.
False
4
inv-proof
[(((((((triple10) -> rule9)) -> rule1)) -> rule7))]
("bald eagle" "eats" "bear" "-")
((((((triple10) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int3
The bald eagle eats the lion.
True
5
proof
[(((((((((triple10) -> rule9)) -> rule1)) -> rule7)) -> rule5))]
("bald eagle" "eats" "lion" "+")
((((((((triple10) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int4
The bald eagle does not eat the lion.
False
5
inv-proof
[(((((((((triple10) -> rule9)) -> rule1)) -> rule7)) -> rule5))]
("bald eagle" "eats" "lion" "-")
((((((((triple10) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int4
The bald eagle does not eat the tiger.
True
9
proof
[(((((((((((triple10) -> rule9)) -> rule1)) -> rule7)) -> rule5) ((((triple10) -> rule9)) -> rule1)) -> rule6))]
("bald eagle" "eats" "tiger" "-")
((((((((((triple10) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple10) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int1))
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int5
The bald eagle eats the tiger.
False
9
inv-proof
[(((((((((((triple10) -> rule9)) -> rule1)) -> rule7)) -> rule5) ((((triple10) -> rule9)) -> rule1)) -> rule6))]
("bald eagle" "eats" "tiger" "+")
((((((((((triple10) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple10) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int1))
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int5
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "green" "-")
The lion eats the bear.
Unknown
rconc
[@2: The lion eats the bear.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("lion" "eats" "bear" "+")
The bear does not eat the bear.
Unknown
inv-rconc
[@2: The bear eats the bear.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("bear" "eats" "bear" "-")
The tiger is rough.
Unknown
rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "rough" "+")
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "rough" "-")
The bear is rough.
Unknown
rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "rough" "+")
The tiger does not visit the bear.
Unknown
inv-random
[@0: The tiger visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bear" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle does not see the lion.
Unknown
inv-random
[@0: The bald eagle sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "lion" "-")
The bear visits the bald eagle.
Unknown
random
[@0: The bear visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bald eagle" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear does not see the bald eagle.[(triple4)] The bear does not see the lion.[(triple5)] The bear eats the bald eagle.[(triple2)] The bear is red.[(triple3)] The lion sees the bald eagle.[(triple6)] The lion visits the tiger.[(triple7)] The tiger eats the bald eagle.[(triple8)] The tiger eats the bear.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle visits the lion.[(((triple10) -> rule9))] The bear is green.[(((triple3) -> rule8))] The tiger eats the lion.[(((triple9) -> rule5))] @2: The bald eagle is rough.[(((((triple10) -> rule9)) -> rule1))] The bear does not visit the bear.[(((((triple3) -> rule8)) -> rule2))] The bear eats the lion.[(((((triple3) -> rule8)) -> rule4))] @3: The bald eagle eats the bear.[(((((((triple10) -> rule9)) -> rule1)) -> rule7))] @4: The bald eagle eats the lion.[(((((((((triple10) -> rule9)) -> rule1)) -> rule7)) -> rule5))] @5: The bald eagle does not eat the tiger.[(((((((((((triple10) -> rule9)) -> rule1)) -> rule7)) -> rule5) ((((triple10) -> rule9)) -> rule1)) -> rule6))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
triple4
The bear does not see the lion.
("bear" "sees" "lion" "-")
triple5
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple6
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple7
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple8
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple9
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple10
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((triple10) -> (rule9 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((triple3) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
((triple9) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple10) -> (rule9 % int2))) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The bear does not visit the bear.
("bear" "visits" "bear" "-")
((((triple3) -> (rule8 % int2))) -> (rule2 % int1))
The bear does not visit the bear.
("bear" "visits" "bear" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear eats the lion.
("bear" "eats" "lion" "+")
((((triple3) -> (rule8 % int2))) -> (rule4 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((((((triple10) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((((((((triple10) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int4
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
((((((((((triple10) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple10) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int1))
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int5