The bald eagle does not see the lion. The bear does not chase the bald eagle. The bear sees the bald eagle. The bear sees the lion. The lion is not blue. The tiger does not chase the bear. The tiger chases the lion. If the bear is green and the bear visits the lion then the lion does not visit the bald eagle. If someone sees the bald eagle and they are young then they see the bear. If someone is green and they see the bald eagle then the bald eagle is young. If someone sees the lion then they chase the tiger. If someone is young then they chase the tiger. If someone is young then they chase the lion. If someone is young then they see the bald eagle. If someone visits the bald eagle then they are green. If someone chases the tiger and they see the lion then they are green.
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion is not blue.
("lion" "is" "blue" "-")
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
If the bear is green and the bear visits the lion then the lion does not visit the bald eagle.
((("bear" "is" "green" "+") ("bear" "visits" "lion" "+")) -> ("lion" "visits" "bald eagle" "-"))
If someone sees the bald eagle and they are young then they see the bear.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "young" "+")) -> ("someone" "sees" "bear" "+"))
If someone is green and they see the bald eagle then the bald eagle is young.
((("someone" "is" "green" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If someone sees the lion then they chase the tiger.
((("someone" "sees" "lion" "+")) -> ("someone" "chases" "tiger" "+"))
If someone is young then they chase the tiger.
((("someone" "is" "young" "+")) -> ("someone" "chases" "tiger" "+"))
If someone is young then they chase the lion.
((("someone" "is" "young" "+")) -> ("someone" "chases" "lion" "+"))
If someone is young then they see the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone visits the bald eagle then they are green.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "green" "+"))
If someone chases the tiger and they see the lion then they are green.
((("someone" "chases" "tiger" "+") ("someone" "sees" "lion" "+")) -> ("someone" "is" "green" "+"))
The tiger chases the lion.
True
1
proof
[(triple7)]
("tiger" "chases" "lion" "+")
triple7
The tiger chases the bear.
False
1
inv-proof
[(triple6)]
("tiger" "chases" "bear" "+")
triple6
The bear chases the tiger.
True
2
proof
[(((triple4) -> rule4))]
("bear" "chases" "tiger" "+")
((triple4) -> (rule4 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The bear does not chase the tiger.
False
2
inv-proof
[(((triple4) -> rule4))]
("bear" "chases" "tiger" "-")
((triple4) -> (rule4 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The bear is green.
True
4
proof
[(((((triple4) -> rule4) triple4) -> rule9))]
("bear" "is" "green" "+")
((((triple4) -> (rule4 % int2)) triple4) -> (rule9 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int2
The bear is not green.
False
4
inv-proof
[(((((triple4) -> rule4) triple4) -> rule9))]
("bear" "is" "green" "-")
((((triple4) -> (rule4 % int2)) triple4) -> (rule9 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int2
The bald eagle is young.
True
6
proof
[(((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3))]
("bald eagle" "is" "young" "+")
((((((triple4) -> (rule4 % int3)) triple4) -> (rule9 % int2)) triple3) -> (rule3 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int3
The bald eagle is not young.
False
6
inv-proof
[(((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3))]
("bald eagle" "is" "young" "-")
((((((triple4) -> (rule4 % int3)) triple4) -> (rule9 % int2)) triple3) -> (rule3 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int3
The bald eagle sees the bald eagle.
True
7
proof
[(((((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3)) -> rule7))]
("bald eagle" "sees" "bald eagle" "+")
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule9 % int3)) triple3) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int4
The bald eagle does not chase the lion.
False
7
inv-proof
[(((((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3)) -> rule6))]
("bald eagle" "chases" "lion" "-")
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule9 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int4
The bald eagle sees the bear.
True
14
proof
[(((((((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3)) -> rule7) ((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3)) -> rule2))]
("bald eagle" "sees" "bear" "+")
((((((((((triple4) -> (rule4 % int5)) triple4) -> (rule9 % int4)) triple3) -> (rule3 % int3))) -> (rule7 % int2)) ((((((triple4) -> (rule4 % int5)) triple4) -> (rule9 % int4)) triple3) -> (rule3 % int3))) -> (rule2 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int5
The bald eagle does not see the bear.
False
14
inv-proof
[(((((((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3)) -> rule7) ((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3)) -> rule2))]
("bald eagle" "sees" "bear" "-")
((((((((((triple4) -> (rule4 % int5)) triple4) -> (rule9 % int4)) triple3) -> (rule3 % int3))) -> (rule7 % int2)) ((((((triple4) -> (rule4 % int5)) triple4) -> (rule9 % int4)) triple3) -> (rule3 % int3))) -> (rule2 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int5
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "chases" "lion" "-")
The bear chases the lion.
Unknown
rconc
[@1: The bear chases the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "chases" "lion" "+")
The tiger is not green.
Unknown
inv-rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "is" "green" "-")
The bald eagle is green.
Unknown
rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "green" "+")
The tiger does not see the bald eagle.
Unknown
inv-rconc
[@1: The tiger sees the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "sees" "bald eagle" "-")
The bear sees the bear.
Unknown
rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "bear" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
The lion does not visit the tiger.
Unknown
inv-random
[@0: The lion visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "tiger" "-")
The lion visits the bear.
Unknown
random
[@0: The lion visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bear" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
@0: The bald eagle does not see the lion.[(triple1)] The bear does not chase the bald eagle.[(triple2)] The bear sees the bald eagle.[(triple3)] The bear sees the lion.[(triple4)] The lion is not blue.[(triple5)] The tiger chases the lion.[(triple7)] The tiger does not chase the bear.[(triple6)] @1: The bear chases the tiger.[(((triple4) -> rule4))] @2: The bear is green.[(((((triple4) -> rule4) triple4) -> rule9))] @3: The bald eagle is young.[(((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3))] @4: The bald eagle chases the lion.[(((((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3)) -> rule6))] The bald eagle chases the tiger.[(((((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3)) -> rule5))] The bald eagle sees the bald eagle.[(((((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3)) -> rule7))] @5: The bald eagle sees the bear.[(((((((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3)) -> rule7) ((((((triple4) -> rule4) triple4) -> rule9) triple3) -> rule3)) -> rule2))]
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
triple1
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
triple2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple3
The bear sees the lion.
("bear" "sees" "lion" "+")
triple4
The lion is not blue.
("lion" "is" "blue" "-")
triple5
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple7
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
triple6
The bear chases the tiger.
("bear" "chases" "tiger" "+")
((triple4) -> (rule4 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((((triple4) -> (rule4 % int2)) triple4) -> (rule9 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((((triple4) -> (rule4 % int3)) triple4) -> (rule9 % int2)) triple3) -> (rule3 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int3
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule9 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int4
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule9 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int4
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule9 % int3)) triple3) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int4
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((((((((((triple4) -> (rule4 % int5)) triple4) -> (rule9 % int4)) triple3) -> (rule3 % int3))) -> (rule7 % int2)) ((((((triple4) -> (rule4 % int5)) triple4) -> (rule9 % int4)) triple3) -> (rule3 % int3))) -> (rule2 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int5