The bear is round. The bear likes the lion. The lion likes the rabbit. The rabbit chases the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel likes the rabbit. If something likes the rabbit then it chases the bear. If something is round then it likes the rabbit.
The bear is round.
("bear" "is" "round" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If something likes the rabbit then it chases the bear.
((("something" "likes" "rabbit" "+")) -> ("something" "chases" "bear" "+"))
If something is round then it likes the rabbit.
((("something" "is" "round" "+")) -> ("something" "likes" "rabbit" "+"))
The squirrel eats the bear.
True
1
proof
[(triple5)]
("squirrel" "eats" "bear" "+")
triple5
The lion does not like the rabbit.
False
1
inv-proof
[(triple3)]
("lion" "likes" "rabbit" "-")
triple3
The bear likes the rabbit.
True
2
proof
[(((triple1) -> rule2))]
("bear" "likes" "rabbit" "+")
((triple1) -> (rule2 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The lion does not chase the bear.
False
2
inv-proof
[(((triple3) -> rule1))]
("lion" "chases" "bear" "-")
((triple3) -> (rule1 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The bear chases the bear.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("bear" "chases" "bear" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int2
The bear does not chase the bear.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("bear" "chases" "bear" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int2
The rabbit does not chase the bear.
Unknown
inv-rconc
[@2: The rabbit chases the bear.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("rabbit" "chases" "bear" "-")
The rabbit likes the rabbit.
Unknown
rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "likes" "rabbit" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The lion is not red.
Unknown
inv-random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "-")
The lion eats the squirrel.
Unknown
random
[@0: The lion eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "squirrel" "+")
@0: The bear is round.[(triple1)] The bear likes the lion.[(triple2)] The lion likes the rabbit.[(triple3)] The rabbit chases the squirrel.[(triple4)] The squirrel eats the bear.[(triple5)] The squirrel is big.[(triple6)] The squirrel likes the rabbit.[(triple7)] @1: The bear likes the rabbit.[(((triple1) -> rule2))] The lion chases the bear.[(((triple3) -> rule1))] The squirrel chases the bear.[(((triple7) -> rule1))] @2: The bear chases the bear.[(((((triple1) -> rule2)) -> rule1))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear likes the lion.
("bear" "likes" "lion" "+")
triple2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple3
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple4
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple5
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple7
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
((triple1) -> (rule2 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
((triple3) -> (rule1 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((triple7) -> (rule1 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int2