The bear chases the tiger. The bear is blue. The bear visits the lion. The lion is young. The lion likes the tiger. The lion visits the tiger. The tiger likes the bear. If someone chases the bear then the bear is young. If someone is cold then they chase the bear. If the lion is green then the lion chases the bear. If someone visits the tiger then they are green. Blue, rough people are cold. If someone chases the bear and they visit the bear then the bear is rough.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
If someone chases the bear then the bear is young.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "young" "+"))
If someone is cold then they chase the bear.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "bear" "+"))
If the lion is green then the lion chases the bear.
((("lion" "is" "green" "+")) -> ("lion" "chases" "bear" "+"))
If someone visits the tiger then they are green.
((("someone" "visits" "tiger" "+")) -> ("someone" "is" "green" "+"))
Blue, rough people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone chases the bear and they visit the bear then the bear is rough.
((("someone" "chases" "bear" "+") ("someone" "visits" "bear" "+")) -> ("bear" "is" "rough" "+"))
The bear visits the lion.
True
1
proof
[(triple3)]
("bear" "visits" "lion" "+")
triple3
The lion does not like the tiger.
False
1
inv-proof
[(triple5)]
("lion" "likes" "tiger" "-")
triple5
The lion is green.
True
2
proof
[(((triple6) -> rule4))]
("lion" "is" "green" "+")
((triple6) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is not green.
False
2
inv-proof
[(((triple6) -> rule4))]
("lion" "is" "green" "-")
((triple6) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion chases the bear.
True
3
proof
[(((((triple6) -> rule4)) -> rule3))]
("lion" "chases" "bear" "+")
((((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion does not chase the bear.
False
3
inv-proof
[(((((triple6) -> rule4)) -> rule3))]
("lion" "chases" "bear" "-")
((((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The bear is young.
True
4
proof
[(((((((triple6) -> rule4)) -> rule3)) -> rule1))]
("bear" "is" "young" "+")
((((((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The bear is not young.
False
4
inv-proof
[(((((((triple6) -> rule4)) -> rule3)) -> rule1))]
("bear" "is" "young" "-")
((((((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The bear is not green.
Unknown
inv-rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "green" "-")
The bear is rough.
Unknown
rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "rough" "+")
The bear is not cold.
Unknown
inv-rconc
[@2: The bear is cold.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("bear" "is" "cold" "-")
The tiger chases the bear.
Unknown
rconc
[@2: The tiger chases the bear.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("tiger" "chases" "bear" "+")
The tiger does not like the lion.
Unknown
inv-random
[@0: The tiger likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
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 bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear chases the tiger.[(triple1)] The bear is blue.[(triple2)] The bear visits the lion.[(triple3)] The lion is young.[(triple4)] The lion likes the tiger.[(triple5)] The lion visits the tiger.[(triple6)] The tiger likes the bear.[(triple7)] @1: The lion is green.[(((triple6) -> rule4))] @2: The lion chases the bear.[(((((triple6) -> rule4)) -> rule3))] @3: The bear is young.[(((((((triple6) -> rule4)) -> rule3)) -> rule1))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear visits the lion.
("bear" "visits" "lion" "+")
triple3
The lion is young.
("lion" "is" "young" "+")
triple4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple5
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple6
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple7
The lion is green.
("lion" "is" "green" "+")
((triple6) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
((((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The bear is young.
("bear" "is" "young" "+")
((((((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3