The bear is kind. The bear sees the lion. The bear sees the tiger. The lion chases the tiger. The lion is green. The lion is kind. The lion is round. The lion likes the tiger. The lion sees the bear. The tiger chases the bear. The tiger is green. The tiger is kind. The tiger is round. The tiger likes the lion. The tiger sees the bear. The tiger sees the lion. If someone is kind and they chase the tiger then they are young. If someone chases the tiger then they see the bear. If the lion chases the tiger then the lion sees the bear. If the lion chases the bear and the lion sees the tiger then the bear likes the lion. If someone chases the bear then they see the tiger. If someone likes the lion then the lion chases the bear.
The bear is kind.
("bear" "is" "kind" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If someone is kind and they chase the tiger then they are young.
((("someone" "is" "kind" "+") ("someone" "chases" "tiger" "+")) -> ("someone" "is" "young" "+"))
If someone chases the tiger then they see the bear.
((("someone" "chases" "tiger" "+")) -> ("someone" "sees" "bear" "+"))
If the lion chases the tiger then the lion sees the bear.
((("lion" "chases" "tiger" "+")) -> ("lion" "sees" "bear" "+"))
If the lion chases the bear and the lion sees the tiger then the bear likes the lion.
((("lion" "chases" "bear" "+") ("lion" "sees" "tiger" "+")) -> ("bear" "likes" "lion" "+"))
If someone chases the bear then they see the tiger.
((("someone" "chases" "bear" "+")) -> ("someone" "sees" "tiger" "+"))
If someone likes the lion then the lion chases the bear.
((("someone" "likes" "lion" "+")) -> ("lion" "chases" "bear" "+"))
The lion likes the tiger.
True
1
proof
[(triple8)]
("lion" "likes" "tiger" "+")
triple8
The lion does not see the bear.
False
1
inv-proof
[(triple9 OR ((triple4) -> rule2) OR ((triple4) -> rule3))]
("lion" "sees" "bear" "-")
triple9
((triple4) -> (rule2 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
((triple4) -> (rule3 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The tiger sees the tiger.
True
2
proof
[(((triple10) -> rule5))]
("tiger" "sees" "tiger" "+")
((triple10) -> (rule5 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The lion does not chase the bear.
False
2
inv-proof
[(((triple14) -> rule6))]
("lion" "chases" "bear" "-")
((triple14) -> (rule6 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion sees the tiger.
True
3
proof
[(((((triple14) -> rule6)) -> rule5))]
("lion" "sees" "tiger" "+")
((((triple14) -> (rule6 % int2))) -> (rule5 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The lion does not see the tiger.
False
3
inv-proof
[(((((triple14) -> rule6)) -> rule5))]
("lion" "sees" "tiger" "-")
((((triple14) -> (rule6 % int2))) -> (rule5 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The bear likes the lion.
True
6
proof
[(((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule5)) -> rule4))]
("bear" "likes" "lion" "+")
((((triple14) -> (rule6 % int3)) ((((triple14) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
int3
The bear does not like the lion.
False
6
inv-proof
[(((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule5)) -> rule4))]
("bear" "likes" "lion" "-")
((((triple14) -> (rule6 % int3)) ((((triple14) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
int3
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "young" "-")
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 is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "young" "-")
The bear chases the lion.
Unknown
random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The lion does not like the bear.
Unknown
inv-random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
@0: The bear is kind.[(triple1)] The bear sees the lion.[(triple2)] The bear sees the tiger.[(triple3)] The lion chases the tiger.[(triple4)] The lion is green.[(triple5)] The lion is kind.[(triple6)] The lion is round.[(triple7)] The lion likes the tiger.[(triple8)] The lion sees the bear.[(triple9 OR ((triple4) -> rule2) OR ((triple4) -> rule3))] The tiger chases the bear.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is round.[(triple13)] The tiger likes the lion.[(triple14)] The tiger sees the bear.[(triple15)] The tiger sees the lion.[(triple16)] @1: The lion chases the bear.[(((triple14) -> rule6))] The lion is young.[(((triple6 triple4) -> rule1))] The tiger sees the tiger.[(((triple10) -> rule5))] @2: The lion sees the tiger.[(((((triple14) -> rule6)) -> rule5))] @3: The bear likes the lion.[(((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule5)) -> rule4))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear sees the lion.
("bear" "sees" "lion" "+")
triple2
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple3
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
triple5
The lion is kind.
("lion" "is" "kind" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple8
The lion sees the bear.
("lion" "sees" "bear" "+")
triple9
((triple4) -> (rule2 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
((triple4) -> (rule3 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple14
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple15
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple16
The lion chases the bear.
("lion" "chases" "bear" "+")
((triple14) -> (rule6 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is young.
("lion" "is" "young" "+")
((triple6 triple4) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((triple10) -> (rule5 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
((((triple14) -> (rule6 % int2))) -> (rule5 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The bear likes the lion.
("bear" "likes" "lion" "+")
((((triple14) -> (rule6 % int3)) ((((triple14) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
int3