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