The bear chases the tiger. The bear likes the lion. The lion is blue. The lion likes the tiger. The rabbit is round. The rabbit likes the tiger. The tiger sees the bear. If someone likes the rabbit and they chase the bear then the bear sees the lion. If someone is blue then they chase the bear. If someone likes the tiger then they are green. If someone likes the rabbit then the rabbit chases the tiger. If someone likes the rabbit and the rabbit likes the bear then they chase the bear. If someone likes the lion then the lion chases the rabbit. Round, green people are blue. If the lion sees the tiger and the lion is rough then the lion chases the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
If someone likes the rabbit and they chase the bear then the bear sees the lion.
((("someone" "likes" "rabbit" "+") ("someone" "chases" "bear" "+")) -> ("bear" "sees" "lion" "+"))
If someone is blue then they chase the bear.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "bear" "+"))
If someone likes the tiger then they are green.
((("someone" "likes" "tiger" "+")) -> ("someone" "is" "green" "+"))
If someone likes the rabbit then the rabbit chases the tiger.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "chases" "tiger" "+"))
If someone likes the rabbit and the rabbit likes the bear then they chase the bear.
((("someone" "likes" "rabbit" "+") ("rabbit" "likes" "bear" "+")) -> ("someone" "chases" "bear" "+"))
If someone likes the lion then the lion chases the rabbit.
((("someone" "likes" "lion" "+")) -> ("lion" "chases" "rabbit" "+"))
Round, green people are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If the lion sees the tiger and the lion is rough then the lion chases the tiger.
((("lion" "sees" "tiger" "+") ("lion" "is" "rough" "+")) -> ("lion" "chases" "tiger" "+"))
The bear likes the lion.
True
1
proof
[(triple2)]
("bear" "likes" "lion" "+")
triple2
The lion is not blue.
False
1
inv-proof
[(triple3)]
("lion" "is" "blue" "-")
triple3
The lion is green.
True
2
proof
[(((triple4) -> rule3))]
("lion" "is" "green" "+")
((triple4) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion does not chase the rabbit.
False
2
inv-proof
[(((triple2) -> rule6))]
("lion" "chases" "rabbit" "-")
((triple2) -> (rule6 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The rabbit is blue.
True
4
proof
[(((triple5 ((triple6) -> rule3)) -> rule7))]
("rabbit" "is" "blue" "+")
((triple5 ((triple6) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is not blue.
False
4
inv-proof
[(((triple5 ((triple6) -> rule3)) -> rule7))]
("rabbit" "is" "blue" "-")
((triple5 ((triple6) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit chases the bear.
True
5
proof
[(((((triple5 ((triple6) -> rule3)) -> rule7)) -> rule2))]
("rabbit" "chases" "bear" "+")
((((triple5 ((triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit does not chase the bear.
False
5
inv-proof
[(((((triple5 ((triple6) -> rule3)) -> rule7)) -> rule2))]
("rabbit" "chases" "bear" "-")
((((triple5 ((triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The tiger does not chase the bear.
Unknown
inv-rconc
[@2: The tiger chases the bear.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("tiger" "chases" "bear" "-")
The bear is blue.
Unknown
rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "blue" "+")
The bear does not chase the bear.
Unknown
inv-rconc
[@2: The bear chases the bear.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("bear" "chases" "bear" "-")
The tiger is blue.
Unknown
rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "is" "blue" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The rabbit sees the tiger.
Unknown
random
[@0: The rabbit sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "tiger" "+")
@0: The bear chases the tiger.[(triple1)] The bear likes the lion.[(triple2)] The lion is blue.[(triple3)] The lion likes the tiger.[(triple4)] The rabbit is round.[(triple5)] The rabbit likes the tiger.[(triple6)] The tiger sees the bear.[(triple7)] @1: The lion chases the bear.[(((triple3) -> rule2))] The lion chases the rabbit.[(((triple2) -> rule6))] The lion is green.[(((triple4) -> rule3))] The rabbit is green.[(((triple6) -> rule3))] @2: The rabbit is blue.[(((triple5 ((triple6) -> rule3)) -> rule7))] @3: The rabbit chases the bear.[(((((triple5 ((triple6) -> rule3)) -> rule7)) -> rule2))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear likes the lion.
("bear" "likes" "lion" "+")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple6
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple7
The lion chases the bear.
("lion" "chases" "bear" "+")
((triple3) -> (rule2 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
((triple2) -> (rule6 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((triple4) -> (rule3 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple6) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple5 ((triple6) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((((triple5 ((triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3